A Java formatter and beautifier