if (line.getIndex() == index) return line;
if ((line.getNode1() == atNode) || (line.getNode2() == atNode)) { if (count == 0) lines = new Line[ 1 ]; else { Line[] newLines = new Line[ lines.length + 1 ];  System.arraycopy(lines, 0, newLines, 0, lines.length); lines = newLines; }  lines[ count++ ] = line; }
    public Line get(int index) {        Enumeration list = lineTable.elements();        if (list == null) return null;        while (list.hasMoreElements()) {            Line line = (Line)list.nextElement();            if (line.getIndex() == index)                return line;        }        return null;    }