Update IntElement.java