Removed 'deprecated' warnings by changing Window.show() to
Window.setVisible(true) and using a different ctor for KeyEvent.
M src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
Authored by: mgricken 2006-10-05
Parent: [r4013]
Child: [r4015]
