Hi, just fyi: I have updated the minimum JDK requirements to 1.7 as there was at least agreement on this and no objections against it. We may still decide to further increase it to 1.8 later on.
Thomas --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
