private void highlightError(int index) {
String message = (String) messages.elementAt(index);
int i = message.indexOf(":");
if ((i != -1) && (i < 10)) {
try {
int lineNumber = Integer.parseInt(message.substring(0, i).trim()) - 1;
if (lineNumber < sourceArea.getLineCount()) {
int start = sourceArea.getLineStartOffset(lineNumber);
int end = sourceArea.getLineEndOffset(lineNumber);
sourceArea.requestFocus();
sourceArea.setSelectionStart(start);
sourceArea.setSelectionEnd(end - 1);
}
} catch (Exception ex) {
ex.printStackTrace();
}
}
}
