}
}
public void remove(Set<Resource> members) {
for ( Iterator<Resource> it = members.iterator(); it.hasNext(); ) {
Resource res = it.next();
if ( res instanceof Folder ) {
remove( folders.get( res.getPath().toPortableString() ) );
} else {
String fileName = res.getPath().toPortableString();
fileContents.remove( fileName );
if (modifiedFilesSinceLastMark != null) {
modifiedFilesSinceLastMark.add( fileName );
}
}