Delete Tools.java~