@Override public RTCode runDetails(final RTObject myEnclosedScope) { final RTDynamicScope activationRecord = RunTimeEnvironment.runTimeEnvironment_.currentDynamicScope(); final RTSetObject theListObject = (RTSetObject) activationRecord.getObject("this"); theListObject.ctor(); RunTimeEnvironment.runTimeEnvironment_.pushStack(this); return super.nextCode(); }