Searched refs:oldScopes (Results 1 – 1 of 1) sorted by relevance
3137 Vector oldScopes = oldRec.getScopes(); in mergeOldRecordIntoNew() local3139 int j, m = oldScopes.size(); in mergeOldRecordIntoNew()3142 String scope = (String)oldScopes.elementAt(j); in mergeOldRecordIntoNew()