fix compilation of protege plugins and add protege maven dependencies