Default constructor needed by the plugin manager