public TokenStreamToAutomaton() {this.preservePositionIncrements = true;}

public TokenStreamToAutomaton ( ) { this . preservePositionIncrements = true ; }
public TokenStreamToAutomaton(){this.preservePositionIncrements = true;}
