String[] legalLineDelimiters= document.getLegalLineDelimiters(); String lineDelimiter= legalLineDelimiters[0];
	private void javaStringIndentAfterNewLine(IDocument document, DocumentCommand command) throws BadLocationException {		ITypedRegion partition= TextUtilities.getPartition(document, fPartitioning, command.offset);		int offset= partition.getOffset();		int length= partition.getLength();		if (command.offset == offset)			return;				if (command.offset == offset + length && document.getChar(offset + length - 1) == '\"')			return;		String[] legalLineDelimiters= document.getLegalLineDelimiters();		String lineDelimiter= legalLineDelimiters[0];		String indentation= getLineIndentation(document, command.offset);		IRegion line= document.getLineInformationOfOffset(offset);		String string= document.get(line.getOffset(), offset - line.getOffset());		if (string.trim().length() != 0)			indentation += String.valueOf("\t\t"); //$NON-NLS-1$		command.text= getModifiedText(command.text, lineDelimiter, indentation);			}