### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: model/org/eclipse/jdt/core/SourceRange.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/core/SourceRange.java,v
retrieving revision 1.2
diff -u -r1.2 SourceRange.java
--- model/org/eclipse/jdt/core/SourceRange.java	14 Jul 2009 19:42:45 -0000	1.2
+++ model/org/eclipse/jdt/core/SourceRange.java	14 Jul 2009 19:51:50 -0000
@@ -37,6 +37,12 @@
 	private int offset;
 	private int length;
 
+	/**
+	 * Instantiate a new source range using the given offset and the given length.
+	 * 
+	 * @param offset the given offset
+	 * @param length the given length
+	 */
 	public SourceRange(int offset, int length) {
 		this.offset = offset;
 		this.length = length;
Index: model/org/eclipse/jdt/core/ISourceRange.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/core/ISourceRange.java,v
retrieving revision 1.14
diff -u -r1.14 ISourceRange.java
--- model/org/eclipse/jdt/core/ISourceRange.java	8 Jul 2009 06:32:33 -0000	1.14
+++ model/org/eclipse/jdt/core/ISourceRange.java	14 Jul 2009 19:51:50 -0000
@@ -14,6 +14,13 @@
  * A source range defines an element's source coordinates relative to
  * its source buffer.
  *
+ * <p>Clients may use the method {@link org.eclipse.jdt.core.SourceRange#isAvailable(ISourceRange)}
+ * in order to find out if a source range is available. This method returns <code>false</code>
+ * when the source range offset is equals to <code>-1</code>.</p>
+ * 
+ * <p>Clients may use the default implementation provided by {@link SourceRange}.</p>
+ *
+ * @see SourceRange
  * @noimplement This interface is not intended to be implemented by clients.
  */
 public interface ISourceRange {