Implementation

We have implemented a compiler for this extended Java language.
Extensions are translated back to plain Java, so the processed output can go to javac/jikes
Clients do not always even need to be written using our extended language - plain Java OK
Policy checks on method calls are checked at the service side - clients cannot subvert it.

We have implemented a compiler for this extended Java language.