An implementation of JSR-352