106107108109110111112
if (((String) o).startsWith ("D")) return FILTER; else return SOURCE_ROOT; } else throw new UnknownTypeException (o); }