Slow copy-from-Console with many links inside

If the console output contains many lines copying (ctrl+c) the output to clipboard becomes very slow. For example try to copy 100_000 lines already lags some seconds. Seems to be O(n^2) where n is number of lines.
Example to reproduce a long console output :
```
public class Main {
public static void main(String[] args) {
for (int i = 0; i < 100_000; i++) {
System.out.println("org.eclipse.ui.console.TextConsoleViewer.findPosition(TextConsoleViewer.java:497)");
}
}
}
```

Almost all time is spend in org.eclipse.ui.console.TextConsoleViewer.findPosition(int, int, Position[])
The copied text is ~8MB:

L’hotspot segnalato è org.eclipse.ui.console.TextConsoleViewer.findPosition(int, int, Position[]); inizia riproducendo l’output della console Java di 100.000 righe e profilando la copia negli appunti. Confronta il tempo di esecuzione all’aumentare delle righe collegate; il lavoro è completato quando la copia dell’output di esempio non presenta più il rallentamento quadratico segnalato.

Scritto dal modello di indicizzazione a partire dal testo della issue.