Build files for the protege distribution that includes 3rd party plugins - View it on GitHub