To be used by JavaCC 2.1. For JavaCC 2.0 and 1.2, a small fix of
Token.java needs to be done.