protected IDocument createDocument(Object element) throws CoreException {
	final IDocument document = super.createDocument(element);
	if (document != null) {
		IDocumentPartitioner partitioner =new FastPartitioner() {

	public IRegion documentChanged2(DocumentEvent e) {
		IRegion result = super.documentChanged2(e);

		for (String cat : document.getPositionCategories()) {
			System.out.println("  " + cat); // __navigation_2108906030
			for (Position p: document.getPositions(cat)) {
				System.out.print("     " + p); // offset: 5, length: 0
				int line = document.getLineOfOffset(p.getOffset()); // BadLocationException
				int col = p.getOffset() - document.getLineOffset(line);
				System.out.println(", (line:"+(line+1) + ", col:"+col +")");
		return result;
	}}

document.getLineOfOffset(p.getOffset())

__navigation_2108906030