joliebig/featurehouse — pull request #16 by alexrhein (2014-05-15 08:05:51+00:00)
Title: changed type of FSTNode.parent to FSTNonTerminal.

A parent must always be a non-Terminal and this makes many casts redundant.
I found no situation where the object passed to setParent(..) might not be a FSTNonTerminal.