else if (evt.getKeyCode() == KeyEvent.VK_UP)
else if ((evt.getKeyCode() == KeyEvent.VK_UP) || (evt.getKeyCode() == KeyEvent.VK_KP_UP))
    public void keyPressed( KeyEvent evt )     {      if (evt.getKeyCode() == KeyEvent.VK_DOWN)        {          int lead = BasicListUI.this.list.getLeadSelectionIndex();          int max = BasicListUI.this.list.getModel().getSize() - 1;          if (!evt.isShiftDown())            {              BasicListUI.this.list.clearSelection();              BasicListUI.this.list.setSelectedIndex(Math.min(lead+1,max));            }          else             {              BasicListUI.this.list.getSelectionModel().                setLeadSelectionIndex(Math.min(lead+1,max));            }        }      else if (evt.getKeyCode() == KeyEvent.VK_UP)        {          int lead = BasicListUI.this.list.getLeadSelectionIndex();          if (!evt.isShiftDown())            {              BasicListUI.this.list.clearSelection();              BasicListUI.this.list.setSelectedIndex(Math.max(lead-1,0));            }          else            {              BasicListUI.this.list.getSelectionModel().                setLeadSelectionIndex(Math.max(lead-1,0));            }        }    }