case Kind.unspecified : return "START";
    public String toString()    {        switch(revKind) {            case Kind.base : return "BASE";            case Kind.committed : return "COMMITTED";            case Kind.head : return "HEAD";            case Kind.previous : return "PREV";            case Kind.working : return "WORKING";        }        return super.toString();    }