99100101102103104105106107108109
synchronized(exp) { exp.getGC().setRequestHandler(PlayRequestHandler.this); if(prevMoves == null) { exp.start(); } else { exp.step(); }