dhotson/coffeescript-jedit — pull request #8 by marchaefner (2013-04-05 05:56:46+00:00)
Title: Fix Java 6 incompatibility, minor improvements.

Already committed into jEdit.

This fixes issue #7 (which i somehow missed, sorry).