} else if (oldSystemTokenClass.equals(PunctuationToken.class.getName()))
{
newGoldToken = new PunctuationToken(goldView, oldSystemToken.getBegin(), oldSystemToken.getEnd());
} else if (oldSystemTokenClass.equals(SymbolToken.class.getName()))
{
newGoldToken = new SymbolToken(goldView, oldSystemToken.getBegin(), oldSystemToken.getEnd());
} else if (oldSystemTokenClass.equals(BaseToken.class.getName()))
{
newGoldToken = new BaseToken(goldView, oldSystemToken.getBegin(), oldSystemToken.getEnd());
} else
{