DXR plugin based on OpenKomodo's codeintel system