@Override
	public Enumeration<Room> getFilledProperMap()
	{
		final Enumeration<Room> r=getProperMap();
		final Vector V=new Vector();
		Room R=null;
		Room R2=null;
		for(;r.hasMoreElements();)
		{
			R=r.nextElement();
			if(!V.contains(R))
				V.addElement(R);
			for(int d=Directions.NUM_DIRECTIONS()-1;d>=0;d--)
			{
				R2=R.rawDoors()[d];
				if((R2 != null)&&((R2.roomID().length()==0)))
				{
					if(R2 instanceof GridLocale)
						V.addAll(((GridLocale)R2).getAllRooms());
					else
					if(!V.contains(R2))
						V.add(R2);
				}
			}
		}
		return V.elements();
	}