Updated Protégé Plugin update file