@using jpf-nhandler

target=Main

classpath=.
native_classpath=java/
nhandler.delegateUnhandledNative=true