[josm-dev] restart JOSM

[Dieter Muecke]

Instead of restarting JOSM by hand after plugin update the code snippet below does it programmatically. 
It works on Mac OSX but before I submit a patch I would like know how do the same
on Windows and Linux.

Kind Regards,
Dieter

            try {
                File file = File.createTempFile("josm-restart-", ".sh");
                PrintWriter pw = new PrintWriter(new FileWriter(file));
                pw.println("sleep 1");
                pw.println("open -a JOSM.app");
                pw.close();
                Runtime.getRuntime().exec("/bin/sh " + file.getAbsolutePath());
                System.exit(0);

            } catch (IOException e) {
                e.printStackTrace();
            }