«cs516.test.Simulation: void run()» «cs516.test.Faculty: void notified(cs516.test.Student,cs516.test.Faculty)» LocalVarNode 28633 r1 AllocNode 2212 new cs516.test.Student in method «cs516.test.Simulation2: void run()» AllocNode 2211 new cs516.test.Student in method «cs516.test.Simulation2: void run()»