> there's also a stray bold tag gone haywire somewhere, possibly > .incrementToken()
I fixed this. This was going me on my nerves the whole day when I wrote javadocs for NumericTokenStream... Uwe --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
