tree 509174e82357a14b0d327f2989f64b4d9170c440
parent 8e4198bbb7066973b8ce077a9efadf9831303f52
author Till Westmann <tillw@apache.org> 1472624652 -0700
committer Michael Blow <mblow@apache.org> 1472626927 -0700

restore extension point

Change-Id: I331d01c6786c45ddcef953b6ba5570205549f1e3
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1132
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Michael Blow <mblow@apache.org>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>