private SWTUIPlayer getPlayer() { return processor.getPlayer(); }
private SWTElementMapper getMapper() { return processor.getMapper(); }
private SWTUIPlayer getPlayer() { return processor.getPlayer(); }
private SWTElementMapper getMapper() { return processor.getMapper(); }