This file is indexed.

/usr/share/doc/libnanoxml2-java/examples/Java/Chapter04-04/DocumentElement.java is in libnanoxml2-java-doc 2.2.3.dfsg-4.

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
/* DocumentElement.java                                            NanoXML/Java
 *
 * $Revision: 1.1.1.1 $
 * $Date: 2001/07/17 17:55:44 $
 * $Name:  $
 *
 * This file is part of NanoXML 2 for Java.
 * Copyright (C) 2001 Marc De Scheemaecker, All Rights Reserved.
 *
 * This software is provided 'as-is', without any express or implied warranty.
 * In no event will the authors be held liable for any damages arising from the
 * use of this software.
 *
 * Permission is granted to anyone to use this software for any purpose,
 * including commercial applications, and to alter it and redistribute it
 * freely, subject to the following restrictions:
 *
 *  1. The origin of this software must not be misrepresented; you must not
 *     claim that you wrote the original software. If you use this software in
 *     a product, an acknowledgment in the product documentation would be
 *     appreciated but is not required.
 *
 *  2. Altered source versions must be plainly marked as such, and must not be
 *     misrepresented as being the original software.
 *
 *  3. This notice may not be removed or altered from any source distribution.
 */

import net.n3.nanoxml.*;
import java.util.*;
import java.io.*;

public class DocumentElement
{

    protected Properties attrs;

    protected Vector children;

    public DocumentElement()
    {
        this.attrs = new Properties();
        this.children = new Vector();
    }

    public void setAttribute(String attrName,
                             String value)
    {
        this.attrs.put(attrName, value);
    }

    public void addChild(DocumentElement elt)
    {
        this.children.addElement(elt);
    }
}