javadoc: DisplayState, EventSet