Java generator now produces Java6 sources (to ease integration on Android)