PaulJacksonJr › MartinGardner › ImportedFiles › DiscreteSpace › EffectiveJava › EventListener
".$options[timer]->Write()."