On Sun, 28 Feb 2021, Geert Stappers wrote:

> To what should JAVA_HOME be set?

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>
-- 
Infrastrukturexperte • tarent solutions GmbH
Rochusstraße 2-4, D-53123 Bonn • http://www.tarent.de/
Telephon +49 228 54881-393 • Fax: +49 228 54881-235
HRB AG Bonn 5168 • USt-ID (VAT): DE122264941
Geschäftsführer: Dr. Stefan Barth, Kai Ebenrett, Boris Esser, Alexander Steeg

*************************************************

Mit dem tarent-Newsletter nichts mehr verpassen: www.tarent.de/newsletter

*************************************************

Reply via email to