void writeHandlePool(HandlePool pool)
{
writeShort(pool._componentsToHandles.size());
for (Iterator i = pool._componentsToHandles.keySet().iterator(); i.hasNext(); )
{
SchemaComponent comp = (SchemaComponent)i.next();
String handle = (String)pool._componentsToHandles.get(comp);
int code = fileTypeFromComponentType(comp.getComponentType());
writeString(handle);
writeShort(code);
}
}