### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: dom/org/eclipse/jdt/core/dom/ITypeBinding.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/dom/org/eclipse/jdt/core/dom/ITypeBinding.java,v
retrieving revision 1.66
diff -u -r1.66 ITypeBinding.java
--- dom/org/eclipse/jdt/core/dom/ITypeBinding.java	15 Mar 2007 16:06:40 -0000	1.66
+++ dom/org/eclipse/jdt/core/dom/ITypeBinding.java	4 Apr 2007 09:38:54 -0000
@@ -54,13 +54,11 @@
 	 * <p>If the receiver is an array binding, then the resulting dimension is the given dimension
 	 * plus the dimension of the receiver. Otherwise the resulting dimension is the given
 	 * dimension.</p>
-	 * <p>It cannot be called on a recovered binding.</p>
 	 *
 	 * @param dimension the given dimension
 	 * @return an array type binding
 	 * @throws IllegalArgumentException:<ul>
 	 * <li>if the receiver represents the void type</li>
-	 * <li>if the receiver represents a recovered binding</li>
 	 * <li>if the resulting dimensions is lower than one or greater than 255</li>
 	 * </ul>
 	 * @since 3.3
@@ -369,7 +367,9 @@
 	 * @return the binding for the package in which this class, interface,
 	 * enum, or annotation type is declared, or <code>null</code> if this type
 	 * binding represents a primitive type, an array type, the null type,
-	 * a type variable, a wildcard type, a capture binding, or a recovered binding.
+	 * a type variable, a wildcard type, or a capture binding.
+	 * The package of a recovered type reference binding is the package of the
+	 * enclosing type.
 	 */
 	public IPackageBinding getPackage();
 
@@ -454,8 +454,8 @@
 	 * <p>
 	 * If this type binding represents an interface, an array type, a
 	 * primitive type, the null type, a type variable, an enum type,
-	 * an annotation type, a wildcard type, a capture binding, or a
-	 * recovered binding then <code>null</code> is returned.
+	 * an annotation type, a wildcard type, or a capture binding then
+	 * <code>null</code> is returned.
 	 * </p>
 	 *
 	 * @return the superclass of the class represented by this type binding,
@@ -593,7 +593,8 @@
 	 * of the given type, as specified in section 5.2 of <em>The Java Language
 	 * Specification, Third Edition</em> (JLS3).
 	 *
-	 * <p>If the receiver or the argument is a recovered type, the answer is always false.</p>
+	 * <p>If the receiver or the argument is a recovered type, the answer is always false,
+	 * unless the two types are identical or the argument is <code>java.lang.Object</code></p>
 	 *
 	 * @param variableType the type of a variable to check compatibility against
 	 * @return <code>true</code> if an expression of this type can be assigned to a
@@ -641,7 +642,8 @@
 	 * <code>A.isCastCompatible(B)</code>
 	 * </p>
 	 *
-	 * <p>If the receiver or the argument is a recovered type, the answer is always false.</p>
+	 * <p>If the receiver or the argument is a recovered type, the answer is always false,
+	 * unless the two types are identical or the argument is <code>java.lang.Object</code></p>
 	 *
 	 * @param type the type to check compatibility against
 	 * @return <code>true</code> if this type is cast compatible with the
@@ -651,9 +653,9 @@
 	public boolean isCastCompatible(ITypeBinding type);
 
 	/**
-	 * Returns whether this type binding represents a class type.
+	 * Returns whether this type binding represents a class type or a recovered binding.
 	 *
-	 * @return <code>true</code> if this object represents a class,
+	 * @return <code>true</code> if this object represents a class or a recovered binding,
 	 *    and <code>false</code> otherwise
 	 */
 	public boolean isClass();
@@ -844,7 +846,8 @@
 	 * as specified in section 4.10 of <em>The Java Language
 	 * Specification, Third Edition</em> (JLS3).
 	 *
-	 * <p>If the receiver or the argument is a recovered type, the answer is always false.</p>
+	 * <p>If the receiver or the argument is a recovered type, the answer is always false,
+	 * unless the two types are identical or the argument is <code>java.lang.Object</code></p>
 	 *
 	 * @param type the type to check compatibility against
 	 * @return <code>true</code> if this type is subtype compatible with the
Index: dom/org/eclipse/jdt/core/dom/IBinding.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/dom/org/eclipse/jdt/core/dom/IBinding.java,v
retrieving revision 1.32
diff -u -r1.32 IBinding.java
--- dom/org/eclipse/jdt/core/dom/IBinding.java	21 Mar 2007 17:51:08 -0000	1.32
+++ dom/org/eclipse/jdt/core/dom/IBinding.java	4 Apr 2007 09:38:50 -0000
@@ -274,7 +274,7 @@
 	 * </p>
 	 * <p>Note that the key for annotation bindings and member value pair bindings is
 	 * not yet implemented. This returns <code>null</code> for these 2 kinds of bindings.<br>
-	 * <code>null</code> is also returned for recovered bindings
+	 * Recovered bindings have a unique key.
 	 * </p>
 	 *
 	 * @return the key for this binding