}
private void onHint(HintRecord hint) {
for (int i = 0, n = hintListeners.size(); i < n; i++) {
HintListener listener = hintListeners.get(i);
listener.onHint(hint);
}
}
private void onHintletException(HintletException hintletException) {
for (int i = 0, n = exceptionListeners.size(); i < n; i++) {