Jdk7

Updated junit library of jdk7 branch to junit 4.10, and added a eclipse formatter xml file that approximately matches the code style of the uispec4j. Tested with jdk1.7.0_51, all tests run ok in jdk7 branch