Vector burning = new Vector();
Vector<Coords> burning = new Vector<Coords>();
    public Enumeration getInfernoBurningCoords() {        // Only include *burning* inferno trackers.        Vector burning = new Vector();        Enumeration iter = this.infernos.keys();        while ( iter.hasMoreElements() ) {            final Coords coords = (Coords) iter.nextElement();            if ( this.isInfernoBurning(coords) ) {                burning.addElement( coords );            }        }        return burning.elements();    }