avoid garbage creation in EditDocument.get(int,int)

org.eclipse.text/src/org/eclipse/text/edits/EditDocument.java

diff --git a/org.eclipse.text/src/org/eclipse/text/edits/EditDocument.java b/org.eclipse.text/src/org/eclipse/text/edits/EditDocument.java
index f0ebd2d..7d8913d 100644
--- a/org.eclipse.text/src/org/eclipse/text/edits/EditDocument.java
+++ b/org.eclipse.text/src/org/eclipse/text/edits/EditDocument.java
@@ -82,9 +82,7 @@
 	}
 
 	public String get(int offset, int length) throws BadLocationException {
-		char[] result= new char[length];
-		fBuffer.getChars(offset, offset + length, result, 0);
-		return new String(result);
+		return fBuffer.substring(offset, offset + length);
 	}
 
 	public char getChar(int offset) throws BadLocationException {