fix to work with JDK 1.7 ordering
reformat
Merge branch '1.12'