kframework/k — pull request #959 by osa1 (2014-09-17 14:19:55+00:00)
Title: [WIP] switch to Java 8

I'm creating this to 1) track progress 2) use Jenkins server to test.