Anpassung von nextToken() in Scanner.
Workaround für fehlende Nullpointer implementiert.