nicer formatting of the java code