kframework/k — pull request #410 by radumereuta (2014-05-02 23:41:09+00:00)
Title: Updating the README for developers to better explain that JAVA_HOME 

environment variable is required to point to the JDK installation directory.
Also specify that git needs to run in the command line. The GUI is not enough.

This is in response to issues #365 and #366