Resolve "JavaBDD missing from Eclipse ESCET update site"

Merged Dennis Hendriks requested to merge 13-javabdd-missing-from-eclipse-escet-update-site into develop

Closes #13 (closed)

Edited by Dennis Hendriks

Merge request reports