Jmlnitrate is a project mainly written in Java, it's free.
JML Nitrate is a java based micro-kernel designed to allow the dynamic processing of information. It takes care of the core functionality needed in most applications.