XJML 1.0 is a platform for Verification and Validation of Java classes
Tools for model-driven modernization of software systems
Java KellyCriterion Calculator
MequaScript is a BASIC-style interpreter with a hybrid syntax
RedComm is a Java library simplifying communication with a serial port
Java obfuscation framework.
Lemansys LEWS Alternative Framework for Java Web Applications