Delete IntString.java~