[Java] Class TeXTokenMarker