docs: public int getSpaceSize(IXtextDocument document, int offset) throws BadLocationException {
  		int size = 0;
  		char c = document.getChar(offset + size);
  		while (Character.isWhitespace(c)) {
  			size++;
  			c = document.getChar(offset + size);
  		}
  		return size;
  	}