if (files != null) {
for (String port : files.keySet()) {
File file = files.get(port);
try {
run.uploadInputFile(port, file);
System.out.format(
"Set input '%s' to use file '%s' as input\n",
port, file.getName());
} catch (IOException e) {
System.err.format("Could not set input '%s': %s\n",