/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/lib/
../
alloy4.2_2015-02-22.jar_GoesHere.txt