Update instantiation.java