/** @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;
}
