@using=jpf-nhandler
target=Main
classpath=.,java/
nhandler.delegateUnhandledNative=true