diff --git a/plugins/org.eclipse.ocl.pivot/model/Values.ecore b/plugins/org.eclipse.ocl.pivot/model/Values.ecore
index c15fce5..3582e63 100644
--- a/plugins/org.eclipse.ocl.pivot/model/Values.ecore
+++ b/plugins/org.eclipse.ocl.pivot/model/Values.ecore
@@ -43,7 +43,7 @@
   <eClassifiers xsi:type="ecore:EClass" name="UnlimitedValue" eSuperTypes="#//UnlimitedNaturalValue"/>
   <eClassifiers xsi:type="ecore:EClass" name="Value" abstract="true">
     <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
-      <details key="documentation" value="A value support wrapping/boxing a value whose Java implementation does not comply with OCL semantics, primarily&#xA;that equal values return true from Object.equals(Object) but also for variant metamodel elements.&#xA;&lt;p>&#xA;A boxed value is not needed for Boolean and String that are well-behaved.&#xA;&lt;p>&#xA;A boxed value is needed for Integer and Double, since in OCL 4 is equal to 4.0 and since multiple implementation&#xA;classes exist to support growth between unlimited numeric ranges.&#xA;&lt;p>&#xA;A boxed value is needed for EnumerationLiterals since distinct Pivot, Ecore, UML variants may exist.&#xA;&lt;p>&#xA;A boxed value is needed for types since distinct Pivot, Ecore, UML variants may exist.&#xA;&lt;p>&#xA;A boxed value is useful/needed for collections to provide OCL polymorphism.&#xA;&lt;p>&#xA;A boxed value is not needed for the large number of ordinary EObjects not in the above list.&#xA;&lt;p>&#xA;asXXX returns a non-null XXX if self is convertible to an XXX and is not NullValue/InvalidValue&#xA;throws an InvalidValueException for a NullValue/InvalidValue. A Value object may be converted&#xA;if the conversion to XXX is exact and type conformant.&#xA;&lt;p>&#xA;isXXX returns an XXX-related value if self is an XXX and is not a NullValue/InvalidValue, returns null otherwise."/>
+      <details key="documentation" value="A value support wrapping/boxing a value whose Java implementation does not comply with OCL semantics, primarily&#xA;that equal values return true from Object.equals(Object) but also for variant metamodel elements.&#xA;&lt;p>&#xA;A boxed value is not needed for Boolean and String that are well-behaved.&#xA;&lt;p>&#xA;A boxed value is needed for Integer and Double, since in OCL 4 is equal to 4.0 and since multiple implementation&#xA;classes exist to support growth between unlimited numeric ranges.&#xA;&lt;p>&#xA;A boxed value is needed for EnumerationLiterals since distinct Pivot, Ecore, UML variants may exist.&#xA;&lt;p>&#xA;A boxed value is needed for types since distinct Pivot, Ecore, UML variants may exist.&#xA;&lt;p>&#xA;A boxed value is useful/needed for collections to provide OCL polymorphism.&#xA;&lt;p>&#xA;A boxed value is not needed for the large number of ordinary EObjects not in the above list.&#xA;&lt;p>&#xA;asYYY returns a non-null YYY if self is convertible to an YYY and is not NullValue/InvalidValue&#xA;throws an InvalidValueException for a NullValue/InvalidValue. A Value object may be converted&#xA;if the conversion to YYY is exact and type conformant.&#xA;&lt;p>&#xA;isYYY returns an YYY-related value if self is an YYY and is not a NullValue/InvalidValue, returns null otherwise."/>
     </eAnnotations>
   </eClassifiers>
 </ecore:EPackage>