Plugins missing when creating a new workspace
Problem Description
When creating a new workspace following the description in the wiki, the
plugins org.fortiss.af3.timing.ui and com.microsoft.z3 are missing.
This causes two issues:
- org.fortiss.af3.timing.ui: Wcet annotation is not registered.
- com.microsoft.z3: build error in scheduling-plugin (at least for me)
How to reproduce
Simply check out a new af3-workspace like described in the documentation.
(from redmine: issue id 2162, created on 2014-11-25, closed on 2015-01-28)