ensime/ensime-server — pull request #464 by fommil (2014-06-30 19:16:30+00:00)
Title: close #456

I'll self merge since this is boring devops stuff