[
{ type: install
  message: <<EOM
java version 11 or higher is required.  Example:
	tomcat10_java_home="/usr/local/openjdk11" in /etc/rc.conf
EOM
}
{ type: upgrade
  message: <<EOM
It is necessary to reindex from scratch when upgrading from anything
older than opengrok 1.13.0.

java version 11 or higher is required.  Example:
	tomcat10_java_home="/usr/local/openjdk11" in /etc/rc.conf
EOM
}
]
