created .jpf file
updated .jpf file, it still doesn't work
K, JPF is working on my machine. The WiSARModel.jpf file would need to
be changed, on lines 3 and 4, on your specific machine to match your
hardware. This push is basically just a template, any changes made to
the WiSARModel.jpf target, classpath, or sourcepath should not be pushed
from this point on, barring major changes in the simulator or model
layouts.