Package polyglot.ext.jl5

A Polyglot extension that implements Java 5.

See: Description

Package polyglot.ext.jl5 Description

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.