This file is indexed.

/usr/share/doc/source-highlight/Hello3.html is in source-highlight 3.1.8-1.2.

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
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="GENERATOR" content="GNU source-highlight 3.1.8
by Lorenzo Bettini
http://www.lorenzobettini.it
http://www.gnu.org/software/src-highlite">
<title>Happy Java with java2html :-)</title>
</head>
<body bgcolor="white">
<pre><tt><i><font color="#9A1900">/*</font></i>
<i><font color="#9A1900">  This is a classical Hello program</font></i>
<i><font color="#9A1900">  to test source-highlight with Java programs.</font></i>
<i><font color="#9A1900">  </font></i>
<i><font color="#9A1900">  to have an html translation type</font></i>

<i><font color="#9A1900">   source-highlight -s java -f html --input Hello.java --output Hello.html</font></i>
<i><font color="#9A1900">   source-highlight -s java -f html &lt; Hello.java &gt; Hello.html</font></i>

<i><font color="#9A1900">  or type source-highlight --help for the list of options</font></i>

<i><font color="#9A1900">  written by</font></i>
<i><font color="#9A1900">  Lorenzo Bettini</font></i>
<i><font color="#9A1900">  </font></i><u><font color="#0000FF">http://www.lorenzobettini.it</font></u>
<i><font color="#9A1900">  </font></i><u><font color="#0000FF">http://www.gnu.org/software/src-highlite</font></u>
<i><font color="#9A1900">*/</font></i>

<b><font color="#000080">package</font></b> hello<font color="#990000">;</font>

<b><font color="#000080">import</font></b> java<font color="#990000">.</font>io<font color="#990000">.*</font> <font color="#990000">;</font>

<i><font color="#9A1900">/**</font></i>
<i><font color="#9A1900"> * </font></i><b><font color="#0000FF">&lt;p&gt;</font></b>
<i><font color="#9A1900"> * A simple Hello World class, used to demonstrate some</font></i>
<i><font color="#9A1900"> * features of Java source highlighting.</font></i>
<i><font color="#9A1900"> * </font></i><b><font color="#0000FF">&lt;/p&gt;</font></b>
<i><font color="#9A1900"> * </font></i><b>TODO:</b><i><font color="#9A1900"> nothing, just to show an highlighted </font></i><b>TODO</b><i><font color="#9A1900"> or </font></i><b>FIXME</b>
<i><font color="#9A1900"> *</font></i>
<i><font color="#9A1900"> * </font></i><font color="#009900">@author</font><i><font color="#9A1900"> Lorenzo Bettini</font></i>
<i><font color="#9A1900"> * </font></i><font color="#009900">@version</font><i><font color="#9A1900"> 2.0</font></i>
<i><font color="#9A1900"> */</font></i>
<b><font color="#0000FF">public</font></b> <b><font color="#0000FF">class</font></b> <font color="#008080">Hello</font> <font color="#FF0000">{</font>
    <font color="#009900">int</font> foo <font color="#990000">=</font> <font color="#993399">1998</font> <font color="#990000">;</font>
    <font color="#009900">int</font> hex_foo <font color="#990000">=</font> <font color="#993399">0xCAFEBABE</font><font color="#990000">;</font>
    <font color="#009900">boolean</font> b <font color="#990000">=</font> <b><font color="#0000FF">false</font></b><font color="#990000">;</font>
    <font color="#008080">Integer</font> i <font color="#990000">=</font> <b><font color="#0000FF">null</font></b> <font color="#990000">;</font>
    <font color="#009900">char</font> c <font color="#990000">=</font> <font color="#FF0000">'</font><font color="#CC33CC">\'</font><font color="#FF0000">'</font><font color="#990000">,</font> d <font color="#990000">=</font> <font color="#FF0000">'n'</font><font color="#990000">,</font> e <font color="#990000">=</font> <font color="#FF0000">'</font><font color="#CC33CC">\\</font><font color="#FF0000">'</font> <font color="#990000">;</font>
    <font color="#008080">String</font> xml <font color="#990000">=</font> <font color="#FF0000">"&lt;tag attr=</font><font color="#CC33CC">\"</font><font color="#FF0000">value</font><font color="#CC33CC">\"</font><font color="#FF0000">&gt;&amp;auml;&lt;/tag&gt;"</font><font color="#990000">,</font> foo2 <font color="#990000">=</font> <font color="#FF0000">"</font><font color="#CC33CC">\\</font><font color="#FF0000">"</font> <font color="#990000">;</font>
    
    <b><font color="#0000FF">public</font></b> <b><font color="#0000FF">static</font></b> <font color="#009900">void</font> <b><font color="#000000">main</font></b><font color="#990000">(</font> <font color="#008080">String</font> args<font color="#990000">[]</font> <font color="#990000">)</font> <font color="#FF0000">{</font>
   <i><font color="#9A1900">// just some greetings ;-)  /*</font></i>
   System<font color="#990000">.</font>out<font color="#990000">.</font><b><font color="#000000">println</font></b><font color="#990000">(</font> <font color="#FF0000">"Hello from java2html :-)"</font> <font color="#990000">)</font> <font color="#990000">;</font>
   System<font color="#990000">.</font>out<font color="#990000">.</font><b><font color="#000000">println</font></b><font color="#990000">(</font> <font color="#FF0000">"</font><font color="#CC33CC">\t</font><font color="#FF0000">by Lorenzo Bettini"</font> <font color="#990000">)</font> <font color="#990000">;</font>
   System<font color="#990000">.</font>out<font color="#990000">.</font><b><font color="#000000">println</font></b><font color="#990000">(</font> <font color="#FF0000">"</font><font color="#CC33CC">\t</font><font color="#FF0000">http://www.lorenzobettini.it"</font> <font color="#990000">)</font> <font color="#990000">;</font>
        <b><font color="#0000FF">if</font></b> <font color="#990000">(</font>argc <font color="#990000">&gt;</font> <font color="#993399">0</font><font color="#990000">)</font>
            <font color="#008080">String</font> param <font color="#990000">=</font> argc<font color="#990000">[</font><font color="#993399">0</font><font color="#990000">];</font>
        <i><font color="#9A1900">//System.out.println( "bye bye... :-D" ) ; // see you soon</font></i>
    <font color="#FF0000">}</font>
<font color="#FF0000">}</font>
</tt></pre>
</body>
</html>