Small changes to java formatting.