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