if (realSet == null) return "Virtual#unknown";
    public String toString() {        StringBuffer result = new StringBuffer();        result.append("Virtual#").append(super.toString());        return result.toString();    }      