kframework/k — pull request #1051 by dwightguth (2014-10-09 19:50:06+00:00)
Title: add readme note about java 8 error

@grosu please review