We've published the "jcheck" extension under the GPLv2. If you work on HotSpot Express or any of the JDK Projects then please follow this link for more information: http://openjdk.java.net/projects/code-tools/jcheck/ - Mark