/**
  * Returns the event time.
  *
  * @return Value which specifies the time, in milliseconds, when the event was generated.
  */
 public long getEventTime() {
   return eventTime.getValue();
 }
 /**
  * Returns the event code.
  *
  * @return The constant specifying the event that had occurred.
  */
 public long getEventCode() {
   return eventCode.getValue();
 }
 /**
  * Returns an event thread identifier.
  *
  * @return Value which identifies the thread that generated the event, or the thread that owns the
  *     current window.
  */
 public long getSourceThreadId() {
   return sourceThreadId.getValue();
 }