Coordinated change for https://asterix-gerrit.ics.uci.edu/#/c/2533/

Change-Id: I0fbc7ee17540b137353a14d0fbac575c36df30cd
10 files changed
tree: 326f8518af7cb56592b14c83000931be7eb8e79a
  1. asterix-bad/
  2. asterix-opt-bom/
  3. .gitignore
  4. pom.xml