public String toString() { if(getTokenType() instanceof IDTDElementType){ return "DTDToken:" + getTokenType().toString(); } return "XmlToken:" + getTokenType().toString(); }