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