format and checkstyle