commit 38a7fbfbe39da0b04cab78094ffa24214d8af2fc
author Stephan Herrmann <stephan@cs.tu-berlin.de> Tue Sep 20 10:40:58 2011 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> Tue Sep 20 10:40:58 2011 +0000
tree 2a0792b06a4de3294b6398fe24375a16c04474c9
parent 9242e597a435fee08b2db5aab9c1588293d0aea4

Give more explanation about the nature of this patch feature.
Same as r2012 for OTDT 2.0.1.

features/org.eclipse.objectteams.otdt.core.patch/feature.xml

diff --git a/features/org.eclipse.objectteams.otdt.core.patch/feature.xml b/features/org.eclipse.objectteams.otdt.core.patch/feature.xml
index 5f8efcb..854b3b1 100644
--- a/features/org.eclipse.objectteams.otdt.core.patch/feature.xml
+++ b/features/org.eclipse.objectteams.otdt.core.patch/feature.xml
@@ -7,9 +7,9 @@
       plugin="org.eclipse.jdt.core">
 
    <description url="http://www.eclipse.org/objectteams">
-      This feature updates the org.eclipse.jdt.core plugin 
-by the corresponding version for Object Teams.
-This update makes the JDT Core able to handle OT/J code.
+      This feature is NOT a regular update of the JDT, but REPLACES the
+org.eclipse.jdt.core plugin by the corresponding version for Object Teams.
+This change makes the JDT Core capable to handle OT/J code.
    </description>
 
    <copyright>