Klaus Brunner

Switch to Java 8

2

Not planned in the short term, but probably sometime 2016. Would allow using the new Joda-like date/time APIs instead of the awful old Date/Calendar mess.

Unnecessary, as the variable isn't reassigned.