[Java] Class HTMLTokenMarker