text: public static short[] getAllKnownRecordSIDs() {if (_allKnownRecordSIDs == null) {short[] results = new short[ _recordCreatorsById.size() ];int i = 0;for (Integer sid : _recordCreatorsById.keySet()) {results[i++] = sid.shortValue();}Arrays.sort(results);_allKnownRecordSIDs = results;}return _allKnownRecordSIDs.clone();}