protected void updateState() {
			if (undoManager.canRedo()) {
				setEnabled(true);
				putValue(SHORT_DESCRIPTION, undoManager.getRedoPresentationName());
			} else {
				setEnabled(false);
				putValue(SHORT_DESCRIPTION, "Redo");
			}
		}