public class HeadingToken extends ReservedToken
HeadingToken()
equals, toString, value
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public HeadingToken()