Update TOOLS.java