{
String desc = ((Literal)obj).getString() ;
System.out.printf("Index: %s\n", desc) ; System.out.flush();
continue ;
}
throw new TDBException("Wrong format for tdb:index: should be a string: found: "+NodeFmtLib.displayStr(obj)) ;
// Resource x = (Resource)obj ;
// String desc = x.getProperty(pDescription).getString() ;
// String file = x.getProperty(pFile).getString() ;
// System.out.printf("Index: %s in file %s\n", desc, file) ; System.out.flush();
}
System.out.flush();
throw new TDBException("Custom indexes turned off") ;
}