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

Change-Id: I43a2d0d1d0e24152acdf428ebbe5c23925f12a53
2 files changed
tree: da313c8e9f55dd825a81653d23959923673eadc2
  1. .gitignore
  2. asterix-bad/
  3. asterix-opt-bom/
  4. pom.xml