Delete tool.java