private int unregisterSourceFile(String file) {
        if (!sourceFiles.contains(file))
            return -1;
	sourceFiles.remove(file);
	this.size--;
	return sourceFiles.size() - 1;
    }
private int unregisterSourceFile(String file) {
        if (!sourceFiles.contains(file))
            return -1;
	sourceFiles.remove(file);
	this.size--;
	return sourceFiles.size() - 1;
    }
private int unregisterSourceFile ( String file ) { if ( ! sourceFiles . contains ( file ) ) return - 1 ; sourceFiles . remove ( file ) ; this . size -- ; return sourceFiles . size ( ) - 1 ; }
Unregister the source file.
This method is used to implement file inclusion. Each included file
gets a uniq identifier (which is the index in the array of source
files).

@return The index of the now registered file.
Unregister the source file . This method is used to implement file inclusion . Each included file gets a uniq identifier ( which is the index in the array of source files ) .