kframework/k — pull request #992 by yilongli (2014-09-25 17:45:28+00:00)
Title: printed Java rewrite engine statistics only when --statistics is on

fixed https://github.com/kframework/k/issues/987
@dwightguth please review