//selecciona el n�mero de l�nea que se encuentra con error en el documento.
scriptTextViewer.addPostSelectionChangedListener(new ISelectionChangedListener(){
public void selectionChanged(SelectionChangedEvent event) {
TextSelection selec= (TextSelection)event.getSelection();
int numLinea=0;
try{
numLinea=Integer.parseInt(selec.getText());
numLinea--;
IEditorPart editor=PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getActiveEditor();
if(editor instanceof MaudeEditor){
MaudeEditor maudeEditor= (MaudeEditor)editor;
IDocument documento=maudeEditor.getDocumentProvider().getDocument(maudeEditor.getEditorInput());
int offSet=documento.getLineOffset(numLinea);
TextSelection seleccion = new TextSelection(offSet,documento.getLineLength(numLinea));
maudeEditor.getSelectionProvider().setSelection(seleccion);
}