On Thu, Nov 15, 2012 at 5:39 PM, <[EMAIL PROTECTED]> wrote:
> Should we switch to jdk 1.7 for this build ?
I'd say leave it. We have a trunk build already on jdk7. Also, this
build hasn't passed since it was first set up that I recall (or at
least its a rare event). Lets get some more passes under our belt
before changing stuff up.