A Polyglot extension that implements Java 5.

See the documentation in doc/ for notes on how to build on this extension or port an existing Java 1.4 extension to it.