reordering now works in Java!