Added javadoc to Parser.ParseError.