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