kframework/k — pull request #666 by dwightguth (2014-06-25 17:59:19+00:00)
Title: fix #stdout function in java backend

@andreistefanescu please review.