latest jsr166 upgrade only compiled with 1.7