annotate lib/javaversion.java @ 40057:b06060465f09

maint: Run 'make update-copyright'
author Paul Eggert <eggert@cs.ucla.edu>
date Tue, 01 Jan 2019 00:25:11 +0100
parents 10eb9086bea0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7018
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* Show the Java version.
40057
b06060465f09 maint: Run 'make update-copyright'
Paul Eggert <eggert@cs.ucla.edu>
parents: 19484
diff changeset
2 * Copyright (C) 2006, 2009-2019 Free Software Foundation, Inc.
7018
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3 *
9309
bbbbbf4cd1c5 Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 7018
diff changeset
4 * This program is free software: you can redistribute it and/or modify
7018
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
5 * it under the terms of the GNU General Public License as published by
9309
bbbbbf4cd1c5 Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 7018
diff changeset
6 * the Free Software Foundation; either version 3 of the License, or
bbbbbf4cd1c5 Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents: 7018
diff changeset
7 * (at your option) any later version.
7018
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
8 *
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9 * This program is distributed in the hope that it will be useful,
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 * GNU General Public License for more details.
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13 *
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
14 * You should have received a copy of the GNU General Public License
19190
9759915b2aca all: prefer https: URLs
Paul Eggert <eggert@cs.ucla.edu>
parents: 18626
diff changeset
15 * along with this program. If not, see <https://www.gnu.org/licenses/>.
7018
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
16 */
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18 /**
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19 * This program shows the Java version.
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20 *
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21 * This program _must_ be compiled with
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
22 * javac -d . -target 1.1 javaversion.java
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
23 * since its purpose is to show the version of _any_ Java implementation.
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
24 *
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
25 * @author Bruno Haible
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
26 */
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
27 public class javaversion {
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
28 public static void main (String[] args) {
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
29 System.out.println(System.getProperty("java.specification.version"));
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
30 }
096754ee89e4 New module 'javaversion'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
31 }