public FileHandle getFileHandle() { return parent.getFileHandle(); }
public ProjectRegistry getProjectRegistry() { return parent.getProjectRegistry(); }