private static IDocument getRandomDocument(int size) {
public static IDocument getRandomDocument(int size) {
	private static IDocument getRandomDocument(int size) {		final char[] characters= {'/', '*', '\'', '"', '\r', '\n', '\\'};		final StringBuffer buffer= new StringBuffer();				for (int i= 0; i < size; i++) {			final int randomIndex= (int) (Math.random() * characters.length);			buffer.append(characters[randomIndex]);		}				return new Document(buffer.toString());	}