public int getLineNumber() { return rawSource.getLineNumber(); }
public void close() throws IOException { rawSource.close(); }
public Set<FileWithSuffix> getFilesUsed() { return Collections.unmodifiableSet(rawSource.getFilesUsedGlobal()); }