/** @apilevel internal */ @SuppressWarnings({"unchecked", "cast"}) public IntType clone() throws CloneNotSupportedException { IntType node = (IntType) super.clone(); node.boxed_computed = false; node.boxed_value = null; node.jvmName_computed = false; node.jvmName_value = null; node.getSootType_computed = false; node.getSootType_value = null; node.in$Circle(false); node.is$Final(false); return node; }