public class KeyEvent extends HeronObject {
  // attributes
  public int key;
  // operations
  // state entry procedures
  // dispatch function
  public void onSignal(HeronSignal signal) {
    if (false) {
      }
    }
  }