kframework/k — pull request #752 by dwightguth (2014-07-24 21:07:23+00:00)
Title: fix .classpath, deleting jopt

@traiansf please review