Variants of "Java.proxy" to use alternative class loaders

[xclerc]

The "Java.proxy" function implicitly uses the system class loader, but one may want to use an other class loader. It is even necessary in some situation, such as code run in a servlet container.