Bug 543933 - Build javadocs with Java 11I20190218-0600I20190217-1800I20190217-0600I20190216-1800

Fix javadoc warnings catched by Java 11 tool with XDoclint:html.

Change-Id: I9d4dfa7c57b47c5d130c8d0c50069b0ed15b70fa
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>

1 files changed, 20 insertions, 24 deletions

diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/EditorsUI.java b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/EditorsUI.java
index 22ea76eec72..95c092604f0 100644
--- a/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/EditorsUI.java
+++ b/org.eclipse.ui.editors/src/org/eclipse/ui/editors/text/EditorsUI.java
@@ -87,24 +87,22 @@ public final class EditorsUI {
 	}
 
 	/**
-	 * Removes all preference which are handled by this plug-in's
-	 * general preference pages from the given store and prevents
-	 * setting the default values in the future.
+	 * Removes all preference which are handled by this plug-in's general preference pages from the
+	 * given store and prevents setting the default values in the future.
 	 * <p>
-	 * To access the
-	 * general preference from another plug-in use a
+	 * To access the general preference from another plug-in use a
 	 * {@link org.eclipse.ui.texteditor.ChainedPreferenceStore}:
+	 * </p>
+	 * 
 	 * <pre>
-	 *		List stores= new ArrayList(3);
-	 *		stores.add(YourPlugin.getDefault().getPreferenceStore());
-	 *		stores.add(EditorsUI.getPreferenceStore());
-	 *		combinedStore= new ChainedPreferenceStore((IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores.size()]));
+	 * List stores= new ArrayList(3);
+	 * stores.add(YourPlugin.getDefault().getPreferenceStore());
+	 * stores.add(EditorsUI.getPreferenceStore());
+	 * combinedStore= new ChainedPreferenceStore((IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores.size()]));
 	 *
 	 * </pre>
-	 * </p>
 	 * <p>
-	 * Note: In order to work this method must be called before
-	 * the store's default values are set.
+	 * Note: In order to work this method must be called before the store's default values are set.
 	 * </p>
 	 *
 	 * @param store the preference store to mark
@@ -114,24 +112,22 @@ public final class EditorsUI {
 	}
 
 	/**
-	 * Removes all preference which are handled by this plug-in's
-	 * Quick Diff preference page from the given store and prevents
-	 * setting the default values in the future.
+	 * Removes all preference which are handled by this plug-in's Quick Diff preference page from
+	 * the given store and prevents setting the default values in the future.
 	 * <p>
-	 * To access the
-	 * general preference from another plug-in use a
+	 * To access the general preference from another plug-in use a
 	 * {@link org.eclipse.ui.texteditor.ChainedPreferenceStore}:
+	 * </p>
+	 * 
 	 * <pre>
-	 *		List stores= new ArrayList(3);
-	 *		stores.add(YourPlugin.getDefault().getPreferenceStore());
-	 *		stores.add(EditorsUI.getPreferenceStore());
-	 *		combinedStore= new ChainedPreferenceStore((IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores.size()]));
+	 * List stores= new ArrayList(3);
+	 * stores.add(YourPlugin.getDefault().getPreferenceStore());
+	 * stores.add(EditorsUI.getPreferenceStore());
+	 * combinedStore= new ChainedPreferenceStore((IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores.size()]));
 	 *
 	 * </pre>
-	 * </p>
 	 * <p>
-	 * Note: In order to work this method must be called before
-	 * the store's default values are set.
+	 * Note: In order to work this method must be called before the store's default values are set.
 	 * </p>
 	 *
 	 * @param store the preference store to mark