public void complete(ClassSymbol c) throws CompletionFailure {
try {
sourceLanguage.push(Language.JAVA);
super.complete(c);
} catch (RunTwiceException e) {
throw new CompletionFailure(c, e.getLocalizedMessage());
} finally {
sourceLanguage.pop();
}
}