Some tools for java.