StackOverflowError while parsing

[Meijuh]

Model is attached. It's an incomplete specification of Ringgz.

ltsmin 2.0

SpinS Promela Compiler - version 1.0 (5-Feb-2013)
(C) University of Twente, Formal Methods and Tools group

Start parsing ringgz.pml...Exception in thread "main" java.lang.StackOverflowError
at java.nio.charset.Charset.atBugLevel(Charset.java:266)
at java.nio.charset.CharsetDecoder.(CharsetDecoder.java:194)
at java.nio.charset.CharsetDecoder.(CharsetDecoder.java:226)
at sun.nio.cs.UTF_8$Decoder.(UTF_8.java:82)
at sun.nio.cs.UTF_8$Decoder.(UTF_8.java:80)
at sun.nio.cs.UTF_8.newDecoder(UTF_8.java:67)
at sun.nio.cs.StreamDecoder.(StreamDecoder.java:229)
at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68)
at java.io.InputStreamReader.(InputStreamReader.java:74)
at spins.promela.compiler.parser.SimpleCharStream.(SimpleCharStream.java:322)
at spins.promela.compiler.parser.SimpleCharStream.(SimpleCharStream.java:336)
at spins.promela.compiler.parser.PromelaTokenManager.TokenLexicalActions(PromelaTokenManager.java:4274)
at spins.promela.compiler.parser.PromelaTokenManager.getNextToken(PromelaTokenManager.java:3762)
at spins.promela.compiler.parser.PromelaTokenManager.TokenLexicalActions(PromelaTokenManager.java:4276)
at spins.promela.compiler.parser.PromelaTokenManager.getNextToken(PromelaTokenManager.java:3762)
at spins.promela.compiler.parser.PromelaTokenManager.TokenLexicalActions(PromelaTokenManager.java:4276)
at spins.promela.compiler.parser.PromelaTokenManager.getNextToken(PromelaTokenManager.java:3762)
at spins.promela.compiler.parser.PromelaTokenManager.TokenLexicalActions(PromelaTokenManager.java:4276)
at spins.promela.compiler.parser.PromelaTokenManager.getNextToken(PromelaTokenManager.java:3762)
at spins.promela.compiler.parser.PromelaTokenManager.TokenLexicalActions(PromelaTokenManager.java:4276)
at spins.promela.compiler.parser.PromelaTokenManager.getNextToken(PromelaTokenManager.java:3762)

http://pastebin.com/dg8KAUJB