Daniel John Debrunner wrote:

Around line 401 of jvm.java there is code that sets the other properties that are used by the harness,

I meant "used by the policy file"

Dan.

Reply via email to