Name: sdR10048 Date: 06/21/2002
JDK1.4.0rc-b92 doc for
java.awt.AWTKeyStroke.getAWTKeyStrokeForEvent(KeyEvent anEvent)
says nothing about situation when anEvent == null:
---
public static AWTKeyStroke getAWTKeyStrokeForEvent(KeyEvent��anEvent)
Returns an AWTKeyStroke which represents the stroke which generated a given KeyEvent.
This method obtains the key char from a KeyTyped event,
and the key code from a KeyPressed or KeyReleased event.
The KeyEvent modifiers are obtained for all three types of KeyEvent.
Parameters:
anEvent - the KeyEvent from which to obtain the AWTKeyStroke
Returns:
the AWTKeyStroke that precipitated the event
---
This reaction should be specified as required in
http://java.sun.com/j2se/javadoc/writingapispecs/index.html#method.
======================================================================