{
int start = 0;
int length = 0;
if(token instanceof QvtSymbol){
QvtSymbol qvtSymbol = (QvtSymbol)token;
start = qvtSymbol.getCharStart();
length = qvtSymbol.getCharEnd() - qvtSymbol.getCharStart();
}
String msg = "Recovered: Replaced unexpected token";
if(token.getId()>0 && token.getId()<QvtSyntaxAnalyser.Terminals.NAMES.length)
msg += " with "+QvtSyntaxAnalyser.Terminals.NAMES[token.getId()];