equal
deleted
inserted
replaced
267 list.add(answer[i]); |
267 list.add(answer[i]); |
268 } |
268 } |
269 } |
269 } |
270 int len = list.size(); |
270 int len = list.size(); |
271 if (len <= 0) { |
271 if (len <= 0) { |
272 StringBuffer keystr = new StringBuffer(); |
272 StringBuilder keystr = new StringBuilder(); |
273 for (int i = 0; i < keys.length; i++) { |
273 for (int i = 0; i < keys.length; i++) { |
274 keystr.append(toString(keys[i].getEType())); |
274 keystr.append(toString(keys[i].getEType())); |
275 keystr.append(" "); |
275 keystr.append(" "); |
276 } |
276 } |
277 throw new KrbException( |
277 throw new KrbException( |