Searched refs:RealmVector (Results 1 – 1 of 1) sorted by relevance
74 private Vector RealmVector = new Vector(10, 10); field in Krb5Conf159 RealmVector.addElement(r); in Krb5Conf()188 for (int i = 0; i < RealmVector.size(); i++) { in getAllRealms()189 RealmInfo r = (RealmInfo)RealmVector.elementAt(i); in getAllRealms()196 for (int i = 0; i < RealmVector.size(); i++) { in getRealmServer()197 RealmInfo r = (RealmInfo)RealmVector.elementAt(i); in getRealmServer()205 for (int i = 0; i < RealmVector.size(); i++) { in getRealmPort()206 RealmInfo r = (RealmInfo)RealmVector.elementAt(i); in getRealmPort()