This file is indexed.

/usr/share/doc/openjdk-7-jre-headless/JAVA_HOME is in openjdk-7-jre-headless 7u181-2.6.14-1~deb8u1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
                             JAVA_HOME

1. Legacy use of JAVA_HOME

   As of the latest versions of java-common there really should
   be no need for JAVA_HOME as Java(TM) should be completely
   integrated with your Debian GNU/Linux system.


2. Selecting OpenJDK 7 as the default Java(TM) implementation

   Please see README.alternatives for instructions on how
   to make OpenJDK 7 executables and man pages the default on your system.