Added another holzmann example
Added a README for the holzmann examples
Removed .multiple_readers.simple.swp
Fixed README typo
Changed HashMultimaps to ArrayListMultimaps to preserve identical cells in multiplicity star bags
Java rewrite engine: work on 'variable' attribute.
Adding logik in java rewrite engine
Forgot to fill the files with contents
don't create .k file while kompiling