If changing the source level to 1.5 fixes it for you, I suggest that we
just cross our fingers and hope that no one vetos the JDK 5 vote (the
polls close at 5 pm PDT today) and check in the fix tomorrow. :)

This change appears to work for me. If no other opinions are voiced,
I'll make this change in a day or two.

thanks,

bryan


Reply via email to