Name clash with frege.runtime.Value

[muhuk]

This is just a reminder for Frege/eclipse-plugin#14 so that it doesn't get lost:

Turns out to be a java namespacing issue I don't understand: when we mention Value inside a

new Delayed () { ... }

block, it is apparently mistaken as frege.runtime.Value which is an interface Delayed implements, despite having imported your Value class.

The fix for this is quite easy. There should already be a list of class names we must never use unqualified, and we'll add Value there.