buf = new StringBuffer();
if (home.length() > 0) buf.append(home + File.separator + "bin" + File.separator);
buf.append("scalarun");
buf.append(" " + file);
buf.append(" -- " + main);
if (arguments.length() > 0) buf.append(" ").append(arguments);
buf.toString()