public static void main(String[] args) {
		String[] filenames = args.length > 0 ? args : DE406_FILES;

		String strStep = System.getProperty("step", "10.0");
		double dt = Double.parseDouble(strStep);
		
		for (int i = 0; i < filenames.length; i++)
			processFile(filenames[i], dt);
		
		System.exit(0);
	}