" of ("+f1.getVersion()+","+f1.getVersion()+")";
" of ("+f1.getVersion()+","+f2.getVersion()+")";
    public String getVersion() {        return "TestBDD "+REVISION.substring(11, REVISION.length()-2)+               " of ("+f1.getVersion()+","+f1.getVersion()+")";    }