#568 Ensure plugins that are not JAR-signed are GPG-signed (!570) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet

Added GPG signing of third-party dependencies redistributed on the Eclipse ESCET update site.
Upgraded JavaBDD 4.0.0 to 5.0.0 and get it directly from Maven Central, removing it from our repository. It has only packaging/metadata changes.
Added one new third party feature that contains all the third party dependencies that we redistribute on our update site. No separate feature per plugin anymore, which eases maintenance. Eclipse Platform does it in a similar way now.
The thirdparty directory now is an Eclipse project as well, like the other folders.

Quite some commits to get it right. Best reviewed as a full diff, I think.

#568 Ensure plugins that are not JAR-signed are GPG-signed