Added IDE for java code generated from state machines, that uses the
"protected" feature.
Merge branch 'master' of https://pinoval@github.com/cwi-swat/string-origins.git