}
private void read(Set<String> entries) {
try {
FileObject file = processingEnv.getFiler().getResource(StandardLocation.CLASS_OUTPUT, "", EXTENSIONS_RESOURCE);
readIndex(file.openReader(true), entries);
} catch (FileNotFoundException e) {
} catch (IOException e) {
// thrown by Eclipse JDT when not found
} catch (UnsupportedOperationException e) {
// java6 does not support reading old index files