151152153154155156157158159
} private void onHintletException(HintletException hintletException) { for (int i = 0, n = exceptionListeners.size(); i < n; i++) { ExceptionListener handler = exceptionListeners.get(i); handler.onHintletException(hintletException); } } }