Delete StringElement.java