A software construction tool
Tool support for the Z formal notation
Java byte code compatibility analyser
Translates state machine into a target programming language.
Java class file shrinker, optimizer, obfuscator, and preverifier
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
Continuous Integration for Oracle Forms/Reports Fusion Middleware
The fast lexer generator for Java
XMLUnit provides assertions that help testing code that produces XML.