*/
    public void showPageSelectionDialog() {
        int numPages = getPageTree().getNumberOfPages();
        Object[] s = new Object[numPages];
        for (int i = 0; i < numPages; i++) {
            s[i] = Integer.toString(i + 1);
        }
        Object initialSelection = s[documentViewController.getCurrentPageIndex()];
        Object ob = JOptionPane.showInputDialog(
                viewer,
                messageBundle.getString("viewer.dialog.goToPage.description.label"),
                messageBundle.getString("viewer.dialog.goToPage.title"),
                JOptionPane.QUESTION_MESSAGE,
                null,
                s,
                initialSelection);
        if (ob != null) {
            try {
                int pageIndex = Integer.parseInt(ob.toString()) - 1;
                showPage(pageIndex);
            } catch (NumberFormatException nfe) {
                logger.log(Level.FINE, "Error selecting page number.");
            }
        }
    }