+
+ String platfFile = "../../examples/platforms/small_platform.xml";
+ if (args.length == 1)
+ platfFile = args[0];
+
+ File f = new File(platfFile);
+ if (!f.exists()) {
+ Msg.error("File " + platfFile + " does not exist in " + System.getProperty("user.dir"));
+ Msg.error("Usage : Main ../platforms/platform.xml");