return "TypedBDD $Revision$ with "+factory.getVersion();
return "TypedBDD "+REVISION.substring(11, REVISION.length()-2)+ " with "+factory.getVersion();
    public String getVersion() {        return "TypedBDD $Revision$ with "+factory.getVersion();    }