Kleine Anpassungen an Automat-, Scanner-, Token- und TokenBuilder Klasse