{
final File f = new File(ErlangExamples,"locker/locker.erl");
new File(ErlangRunner.getName(f, ERL.PLT,true)).delete();new File(ErlangRunner.getName(f, ERL.BEAM,true)).delete();
final OtpErlangObject otpArgs[] = new OtpErlangObject[]{
null,
new OtpErlangList(new OtpErlangObject[]{new OtpErlangString(ErlangRunner.getName(f, ERL.BEAM, true))}),
new OtpErlangString(ErlangRunner.getName(f, ERL.PLT, true)),
new OtpErlangList(new OtpErlangObject[]{new OtpErlangString(ErlangRunner.getName(f, ERL.ERL, false))}),
new OtpErlangAtom("text")
};
otpArgs[0]=new OtpErlangAtom("dialyzer");
Helper.checkForCorrectException(new statechum.Helper.whatToRun() {
public @Override void run() throws IOException {