gnu: Add java-xerces.

* gnu/packages/java.scm (java-xerces): New variable.
* gnu/packages/patches/java-xerces-bootclasspath.patch: New file.
* gnu/packages/patches/java-xerces-build_dont_unzip.patch: New file.
* gnu/packages/patches/java-xerces-xjavac_taskdef.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add them.

gnu: Add java-joda-time.

* gnu/packages/java.scm (java-joda-time): New variable.

gnu: Add java-joda-convert.

* gnu/packages/java.scm (java-joda-convert): New variable.

gnu: Add java-cdi-api.

* gnu/packages/java.scm (java-cdi-api): New variable.

gnu: Add java-jboss-interceptors-api-spec.

* gnu/packages/java.scm (java-jboss-interceptors-api-spec): New
variable.

gnu: Add java-jboss-el-api-spec.

* gnu/packages/java.scm (java-jboss-el-api-spec): New variable.

gnu: Add java-jansi.

* gnu/packages/java.scm (java-jansi): New variable.

gnu: Add java-jansi-native.

* gnu/packages/java.scm (java-jansi-native): New variable.

gnu: Add java-hawtjni.

* gnu/packages/java.scm (java-hawtjni): New variable.

gnu: Add java-geronimo-xbean-finder.

* gnu/packages/java.scm (java-geronimo-xbean-finder): New variable.

gnu: Add java-geronimo-xbean-asm-util.

* gnu/packages/java.scm (java-geronimo-xbean-asm-util): New variable.

gnu: Add java-geronimo-xbean-bundleutils.

* gnu/packages/java.scm (java-geronimo-xbean-bundleutils): New variable.

gnu: Add java-gson.

* gnu/packages/java.scm (java-gson): New variable.

gnu: clojure: Update to 1.9.0.

* gnu/packages/java.scm (clojure): Update to 1.9.0. Add "core-specs-alpha-src"
and "spec-alpha-src". Remove "java-classpath-src" and "tools-reader-src".

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: java: Use HTTPS for osgi.org home pages.

* gnu/packages/java.scm (java-osgi-annotation, java-osgi-core)
(java-osgi-service-event, java-osgi-cmpn)
(java-osgi-service-component-annotations, java-osgi-dto, java-osgi-resource)
(java-osgi-namespace-contract, java-osgi-namespace-extender)
(java-osgi-namespace-service, java-osgi-util-function)
(java-osgi-util-promise, java-osgi-service-metatype-annotations)
(java-osgi-service-repository, java-osgi-framework, java-osgi-service-log)
(java-osgi-service-jdbc, java-osgi-service-resolver, java-osgi-util-tracker)
(java-osgi-service-cm, java-osgi-service-packageadmin)[home-page]: Use HTTPS.

gnu: java-powermock-modules-junit4: Fix junit version detection.

* gnu/packages/java.scm (java-powermock-modules-junit4)[arguments]: Fix
junit version detection.

gnu: java-powermock-core: Include resources.

* gnu/packages/java.scm (java-powermock-core)[arguments]: Add a phase to
include resources.

gnu: java-xz: Adjust home page.

* gnu/packages/java.scm (java-xz)[home-page]: Adjust home-page. The http part of it
is a permanent redirect to https.

gnu: icedtea@2: Update to 2.6.12 [security fixes].

Fixes CVE-2016-{9840,9841,9842,9843,10165} and CVE-2017-{10193,10198,10274,
10281,10285,10294,10345,10346,10347,10348,10349,10350,10355,10356,10357,10388}.

* gnu/packages/java.scm (icedtea-7): Update to 2.6.12.

gnu: java: Fix several synopses & descriptions.

* gnu/packages/java.scm (java-plexus-classworlds)[description]: Fix typo and
use @code.
(java-plexus-container-default-bootstrap)[synopsis]: Hyphenate for clarity,
as done in the description.
[description]: Fix typo and use @dfn.
(java-jmh)[description]: Fix typo.
(java-xerial-core)[synopsis, description]: Fix typos.