Fix bootstrap Java 7 warner so that it actually works!