return ("InvocationEvent[" + notifier + "," + runnable + "," + catchExceptions + ";" + super.paramString () + "]");
String r; if (id == INVOCATION_DEFAULT) r = "INVOCATION_DEFAULT"; else r = "unknown type";  r += ",runnable=" + runnable + ",notifier=" + notifier + ",catchExceptions=" + catchExceptions; return r;
  public String paramString ()  {    return ("InvocationEvent[" + notifier + "," + runnable	    + "," + catchExceptions	    + ";" + super.paramString () + "]");  }