source: EventApplet.java