}
public void redo() {
final MapModel map = Controller.getCurrentController().getMap();
final IUndoHandler undoHandler = (IUndoHandler) map.getExtension(IUndoHandler.class);
undoHandler.redo();
}
public void setStatusInfo(final String info) {
final ViewController viewController = getViewController();
viewController.out(info);