This file is indexed.

/usr/src/gcc-4.7/debian/jdb.sh is in gcc-4.7-source 4.7.4-3ubuntu12.

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
#!/bin/sh

# Placeholder script to fake a
# JDK compatible JAVA_HOME directory.

echo >&2 "This script is only a placeholder."
echo >&2 "Some programs need a JDK rather than only a JRE to work."
echo >&2 "They test for this tool to detect a JDK installation, but"
echo >&2 "don't really need its functionality to work correctly."