Protege plugin update under progress. Not yet compiling.