A test framework for JSR-94