"http://localhost:%d",
MainRemote.port(file)
)
)
);
<BUG>} finally {
file.delete();

thread.interrupt();</BUG>
}

"http://localhost:%d",
MainRemote.port(file)
)
)
);
} finally {
if (!file.delete()) {
file.deleteOnExit();
