public void addFile( String file, String revision, String previousRevision ) { m_files.addElement( new RCSFile( file, revision, previousRevision ) );
public void addFile(String file, String revision) { m_files.addElement(new RCSFile(file, revision));
    public void addFile( String file, String revision, String previousRevision )    {        m_files.addElement( new RCSFile( file, revision, previousRevision ) );    }