public LaTeXTokeniser(final SessionContext sessionContext) { this.sessionContext = sessionContext; this.modeStack = new ArrayListStack<ModeState>(); this.openEnvironmentStack = new ArrayListStack<String>(); /* Use specified NumberMatcher, or default if nothing is specified */ NumberMatcher ourNumberMatcher = sessionContext.getConfiguration().getNumberMatcher(); if (ourNumberMatcher==null) { ourNumberMatcher = new SimpleNumberMatcher(); } this.numberMatcher = ourNumberMatcher; }