fehrenbach/gll — pull request #1 by Toxaris (2014-07-15 15:57:20+00:00)
Title: Configure Eclipse to use Java 8.

This makes `sbt eclipse` configure Eclipse to use a Java 8 execution environment, as required for some of your recent changes.