SourcePositionMapBuilder.ResourceSection originalResourceSection =
new SourcePositionMapBuilder.ResourceSection(formattedResource.getId(), 0, 0,
originalTextData.getEndLine(), originalTextData.getEndColumn());
TextSectionMapping mapTable =
new TextSectionMappingImpl(originalTextData, vmTextData);
mappingHandle = builder.addMapping(originalResourceSection, vmResourceSection, mapTable);
} catch (SourcePositionMapBuilder.CannotAddException e) {
formattedResource.deleteResourceAndFile();
throw new RuntimeException(e);