ensime/ensime-server — pull request #533 by edani (2014-07-25 07:14:55+00:00)
Title: Fix two Windows-related issues

Two commits because there were two separate issues...