A Java extension with support for Session Types, being developed in the Theory of Computational Systems group at Imperial College London.

The implementation uses the Polyglot framework.

More information can be found here: http://www.doc.ic.ac.uk/~rhu/sessionj.html