public void keyTyped(KeyEvent e) {
        if (currentPageNumberTextField != null &&
                e.getSource() == currentPageNumberTextField) {
            char c = e.getKeyChar();
            if (c == KeyEvent.VK_ESCAPE) {
                String fieldValue = currentPageNumberTextField.getText();
                String modelValue = Integer.toString(
                        documentViewController.getCurrentPageDisplayValue());
                if (!fieldValue.equals(modelValue))
                    currentPageNumberTextField.setText(modelValue);
            }
        }
    }