target=Sine classpath=. # location of Sine.class native_classpath=. # location of JPF_java_lang_StrictMath.class