The 0.7 branch of UOMo, using JSR-363