System.out.println(PROGRAM_NAME + " version " + VERSION.substring(2));
System.out.println(PROGRAM_NAME + " version " + RCS_STATE.substring(8));
	private static void printUsage()	{				String []messages =		{						"Usage:",			"java -jar " + PROGRAM_NAME + ".jar [filename|URL] ...",			"",			PROGRAM_NAME + " reads each file and URL in turn.",			"If filename is '-' then reads from standard input.",			"If no filenames or URLs  are given then a GUI is started",			"for commands to be entered interactively.",			"",			"java -jar " + PROGRAM_NAME + ".jar server [port]",			"",			PROGRAM_NAME + " runs as a server, accepting connections",			"on the given TCP/IP port.",		};				System.out.println(PROGRAM_NAME + " version " + VERSION.substring(2));		System.out.println("");				for (int i = 0; i < messages.length; i++)		{			System.out.println(messages[i]);		}	}