String lineDelimiter= document.getLineDelimiter(line - 1); int length= lineDelimiter.length() + prefix.length();
int length= (lineDelimiter != null ? lineDelimiter.length() : 0) + prefix.length();
	protected void jdocHandleBackspaceDelete(IDocument document, DocumentCommand c) {				if (!getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_FORMAT_JAVADOCS))			return;					try {			String text= document.get(c.offset, c.length);			int line= document.getLineOfOffset(c.offset);			int lineOffset= document.getLineOffset(line);			// erase line delimiter			if (document.getLineDelimiter(line).equals(text)) {								String prefix= jdocExtractLinePrefix(document, line + 1);				// strip prefix if any				if (prefix.length() > 0) {					int length= document.getLineDelimiter(line).length() + prefix.length();					document.replace(c.offset, length, null);					c.doit= false;					c.length= 0;					return;				}			// backspace: beginning of a javadoc line			} else if (document.getChar(c.offset - 1) == '*' && jdocExtractLinePrefix(document, line).length() - 1 >= c.offset - lineOffset) {				String prefix= jdocExtractLinePrefix(document, line);				String lineDelimiter= document.getLineDelimiter(line - 1);				int length= lineDelimiter.length() + prefix.length();				document.replace(c.offset - length + 1, length, null);				c.doit= false;				c.offset -= length - 1;				c.length= 0;				return;			} else {				document.replace(c.offset, c.length, null);				c.doit= false;				c.length= 0;			}		} catch (BadLocationException e) {			JavaPlugin.log(e);		}						try {			int line= document.getLineOfOffset(c.offset);			int lineOffset= document.getLineOffset(line);			String prefix= jdocExtractLinePrefix(document, line);			boolean always= c.offset > lineOffset && c.offset <= lineOffset + prefix.length();			int[] caretOffset= {c.offset};			jdocWrapParagraphFromLine(document, document.getLineOfOffset(c.offset), caretOffset, always);			c.offset= caretOffset[0];		} catch (BadLocationException e) {			JavaPlugin.log(e);		}	}