public void removeHintListener(HintListener listener) {
hintListeners.remove(listener);
}
private void init() {
hintletEngineWorker.setOnError(new ErrorHandler() {
public void onError(ErrorEvent event) {
UncaughtExceptionHandler ueh = GWT.getUncaughtExceptionHandler();
if (ueh != null) {
try {
onHintletException(event.<HintletException> cast());