Package: java-common
Severity: wish


Hi,

Debian java FAQ has currently no information on setting JAVA_HOME

https://www.debian.org/doc/manuals/debian-java-faq/index.en.html
is from 2014


Please give the Debian Java FAQ  some tender, love and care.



Groeten
Geert Stappers

Information about   JAVA_HOME

----- Forwarded message from Thorsten Glaser -----

Date: Sun, 28 Feb 2021 14:43:34 +0100 (CET)
From: Thorsten Glaser
To: Geert Stappers
cc: debian-java@lists.debian.org

It should be unset. Also ideally, you have only ever one JRE installed.

Everything else is a nightmare.

To make this work with Java >8 and Maven, you’ll need¹…

	<profile>
		<id>jre-not-below-jdk</id>
		<activation>
			<file>
				<exists>${java.home}/bin/javadoc</exists>
			</file>
		</activation>
		<build>
			<plugins>
				<plugin>
					<groupId>org.apache.maven.plugins</groupId>
					<artifactId>maven-javadoc-plugin</artifactId>
					<configuration>
						<javadocExecutable>${java.home}/bin/javadoc</javadocExecutable>
					</configuration>
				</plugin>
			</plugins>
		</build>
	</profile>

… or the Debian-patched version of the maven-javadoc-plugin.

bye,
//mirabilos
① see https://evolvis.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=tartools/mvnparent.git
  or use…
	<parent>
		<groupId>org.evolvis.tartools</groupId>
		<artifactId>maven-parent</artifactId>
		<version>2.1</version>
	</parent>

----- End forwarded message -----

Groeten
Geert Stappers
-- 
Silence is hard to parse