trueb2/k-framework repository overview

Has git maven and oracle jdk 8 for development of k framework. satisfactory for use in cs 427 at uiuc