Bug in plugin launcher fixed. Reported as #221
Merge branch 'ui' into lions_2014