equal
deleted
inserted
replaced
164 |
164 |
165 /** |
165 /** |
166 * Print version info. |
166 * Print version info. |
167 */ |
167 */ |
168 private static void print(boolean err, boolean newln) { |
168 private static void print(boolean err, boolean newln) { |
169 boolean isHeadless = false; |
|
170 PrintStream ps = err ? System.err : System.out; |
169 PrintStream ps = err ? System.err : System.out; |
171 |
|
172 /* Report that we're running headless if the property is true */ |
|
173 String headless = System.getProperty("java.awt.headless"); |
|
174 if ( (headless != null) && (headless.equalsIgnoreCase("true")) ) { |
|
175 isHeadless = true; |
|
176 } |
|
177 |
170 |
178 /* First line: platform version. */ |
171 /* First line: platform version. */ |
179 if (err) { |
172 if (err) { |
180 ps.println(launcher_name + " version \"" + java_version + "\"" |
173 ps.println(launcher_name + " version \"" + java_version + "\"" |
181 + " " + java_version_date |
174 + " " + java_version_date |