Fix according to JSR-283 6.7.39