Re: java 7 patch

[Herbert Dürr]

On 2013/02/25 1:09 AM, Pedro Giffuni wrote:
While here let me remind you that to solve the jdk7 issue you have to
look at i121098. The fix is rather trivial but someone else has to do
it.

Thanks for the pointer. I adjusted the produced classfile format to our
baseline as defined in the checks during configure which is Java 5. Even 
this version was released in 2004 so it is old enough to be upgraded 
should the need arise.

Herbert