public void redo() {
        // tries to redo a previously undo command, may not do anything
        documentViewModel.getAnnotationCareTaker().redo();

        // repaint the view.
        documentView.repaint();
    }