Trivial javadoc fix (which reformatted the rest)
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/IWorkbenchPage.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/IWorkbenchPage.java
index 902822e..b8ff7c8 100644
--- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/IWorkbenchPage.java
+++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/IWorkbenchPage.java
@@ -610,23 +610,28 @@
* If this page already has an editor open on the target input that editor
* is brought to the front; otherwise, a new editor is opened. Two editor
* inputs are considered the same if they equal. See
- * <code>Object.equals(Object)<code>
- * and <code>IEditorInput</code>. If <code>activate == true</code> the editor
- * will be activated.
- * </p><p>
- * The editor type is determined by mapping <code>editorId</code> to an editor
- * extension registered with the workbench. An editor id is passed rather than
- * an editor object to prevent the accidental creation of more than one editor
- * for the same input. It also guarantees a consistent lifecycle for editors,
- * regardless of whether they are created by the user or restored from saved
- * data.
+ * <code>Object.equals(Object)</code> and <code>IEditorInput</code>. If
+ * <code>activate == true</code> the editor will be activated.
+ * </p>
+ * <p>
+ * The editor type is determined by mapping <code>editorId</code> to an
+ * editor extension registered with the workbench. An editor id is passed
+ * rather than an editor object to prevent the accidental creation of more
+ * than one editor for the same input. It also guarantees a consistent
+ * lifecycle for editors, regardless of whether they are created by the user
+ * or restored from saved data.
* </p>
*
- * @param input the editor input
- * @param editorId the id of the editor extension to use
- * @param activate if <code>true</code> the editor will be activated
- * @return an open editor, or <code>null</code> if an external editor was opened
- * @exception PartInitException if the editor could not be created or initialized
+ * @param input
+ * the editor input
+ * @param editorId
+ * the id of the editor extension to use
+ * @param activate
+ * if <code>true</code> the editor will be activated
+ * @return an open editor, or <code>null</code> if an external editor was
+ * opened
+ * @exception PartInitException
+ * if the editor could not be created or initialized
*/
public IEditorPart openEditor(IEditorInput input, String editorId,
boolean activate) throws PartInitException;
@@ -638,24 +643,31 @@
* and/or editor id (as specified by the matchFlags argument), that editor
* is brought to the front; otherwise, a new editor is opened. Two editor
* inputs are considered the same if they equal. See
- * <code>Object.equals(Object)<code>
- * and <code>IEditorInput</code>. If <code>activate == true</code> the editor
- * will be activated.
- * </p><p>
- * The editor type is determined by mapping <code>editorId</code> to an editor
- * extension registered with the workbench. An editor id is passed rather than
- * an editor object to prevent the accidental creation of more than one editor
- * for the same input. It also guarantees a consistent lifecycle for editors,
- * regardless of whether they are created by the user or restored from saved
- * data.
+ * <code>Object.equals(Object)</code> and <code>IEditorInput</code>. If
+ * <code>activate == true</code> the editor will be activated.
+ * </p>
+ * <p>
+ * The editor type is determined by mapping <code>editorId</code> to an
+ * editor extension registered with the workbench. An editor id is passed
+ * rather than an editor object to prevent the accidental creation of more
+ * than one editor for the same input. It also guarantees a consistent
+ * lifecycle for editors, regardless of whether they are created by the user
+ * or restored from saved data.
* </p>
*
- * @param input the editor input
- * @param editorId the id of the editor extension to use
- * @param activate if <code>true</code> the editor will be activated
- * @param matchFlags a bit mask consisting of zero or more of the MATCH_* constants OR-ed together
- * @return an open editor, or <code>null</code> if an external editor was opened
- * @exception PartInitException if the editor could not be created or initialized
+ * @param input
+ * the editor input
+ * @param editorId
+ * the id of the editor extension to use
+ * @param activate
+ * if <code>true</code> the editor will be activated
+ * @param matchFlags
+ * a bit mask consisting of zero or more of the MATCH_* constants
+ * OR-ed together
+ * @return an open editor, or <code>null</code> if an external editor was
+ * opened
+ * @exception PartInitException
+ * if the editor could not be created or initialized
*
* @see #MATCH_NONE
* @see #MATCH_INPUT
