return;
}
long currentTime = System.currentTimeMillis();
if ((currentTime - this.lastTabStroke) <= DOUBLE_TAB_STROKE_MS) {
JTextComponentPrintStream printStream = console.getPrintStream();
printStream.println();
for (String candidate : candidates) {
int lastSlash;
if (candidate.endsWith("/"))
lastSlash = candidate.lastIndexOf('/', candidate.length() - 2);
else
lastSlash = candidate.lastIndexOf('/');
if (lastSlash >= 0) {
if (candidate.length() > lastSlash + 1)
candidate = candidate.substring(lastSlash + 1);
}
printStream.print(candidate);
printStream.print("\t");
}
printStream.println();
console.prompt();
console.setInput(input);
console.setCaretPositionAtInput(caretPositionAtInput);
this.lastTabStroke = 0L;
} else {