Object[] o = devList.keySet().toArray();
Object[] v = devList.values().toArray();
NAME16[] dn = new NAME16[numDevices];
for (i=0; i<v.length; i++)
{
dn[((Integer)v[i]).intValue()] = new NAME16((String)o[i]);
}
for (i=0; i<numDevices; i++)
{
if (dn[i] == null) dn[i] = new NAME16("#" + i);
}
return dn;
}