System.out.println("eclipse.ui.version="+ECLIPSE_UI_VERSION);
	public static void main(String[] argv) {		if (argv.length != 1)			usage();		String arg = argv[0];		if (arg.equals("-release"))			System.out.println(RELEASE);		else if (arg.equals("-date"))			System.out.println(DATE);		else if (arg.equals("-props")) {			System.out.println("release.number="+RELEASE);			System.out.println("release.date="+DATE);		} else			usage();	}