[Java]: whitespace formatting.