7677787980818283848586
onBreakyException(event); } } }); breakyWorker.setOnMessage(new MessageHandler() { public void onMessage(MessageEvent event) { UncaughtExceptionHandler ueh = GWT.getUncaughtExceptionHandler(); if (ueh != null) { try { fireOnBreakyMessage(event);
109110111112113114115116117118119
onHintletException(event.<HintletException> cast()); } } }); hintletEngineWorker.setOnMessage(new MessageHandler() { public void onMessage(MessageEvent event) { UncaughtExceptionHandler ueh = GWT.getUncaughtExceptionHandler(); if (ueh != null) { try { fireOnHint(event);