taverna3-osgi-launcher