title: Eclipe PDE: Jump to line X and highlight it
body: <p>A qustion about Eclipse PDE development: I write a small plugin for Eclipse and have the following
  * an <a href="http://help.eclipse.org/help32/index.jsp?topic=/org.eclipse.platform.doc.isv/reference/api/org/eclipse/ui/texteditor/ITextEditor.html" rel="noreferrer">org.eclipse.ui.texteditor.ITextEditor</a>
  * a line number</p>
  
  <p>How can I automatically jump to that line and mark it? It's a pity that the API seems only to support offsets (see: ITextEditor.selectAndReveal()) within the document but no line numbers.</p>
  
  <p>The best would be - although this doesn't work: </p>
  
  <pre><code>ITextEditor editor = (ITextEditor)IDE.openEditor(PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage(), file, true );
  editor.goto(line);
  editor.markLine(line);
  </code></pre>
  
  <p>It this possible in some way? I did not find a solution</p>