This file is indexed.

/usr/share/doc/openjdk-6-jre-headless/JAVA_HOME is in openjdk-6-jre-headless 6b38-1.13.10-1~deb7u1.

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
14
15
                             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.

   For reference, the setting of JAVA_HOME for Sun Java 6 is:
     JAVA_HOME=/usr/lib/jvm/java-6-sun

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

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