kframework/k — pull request #1221 by dwightguth (2014-12-02 20:34:11+00:00)
Title: add logik back to tutorial in java rewrite engine

**do not review yet**