formatted java code