Various JAVA tools.