public FileInputContent(UnflatFilter unflat) { super(unflat); filename=((SIRFileReader)unflat.filter).getFileName();
public FileInputContent(FileInputContent content) { super(content); filename=content.filename;
    public FileInputContent(UnflatFilter unflat) {	super(unflat);	filename=((SIRFileReader)unflat.filter).getFileName();    }