add JSR-354