Reformat Java files for legibility.

Signed-off-by: Rogério Brito <rbrito@ime.usp.br>