// ----------
// Event Loop
// ----------
EventManager.startEventLoop();
try {
EventRegistration CloseDisabled_return_event_cl = EventManager.register( cl, CloseDisabled.cEVENT_RETURN_EVENT );
EventRegistration IconizableDisabled_return_event_min = EventManager.register( min, IconizableDisabled.cEVENT_RETURN_EVENT );
EventRegistration MaximizedDisabled_return_event_max = EventManager.register( max, MaximizedDisabled.cEVENT_RETURN_EVENT );
EventRegistration NonResizableCloseButton_return_event_clfixed = EventManager.register( clfixed, NonResizableCloseButton.cEVENT_RETURN_EVENT );
while (true) {
EventHandle qq_currentEvent = EventManager.waitForEvent();
if (qq_currentEvent == null)