It seems sen2coral is not supported anymore, even though it is still listed as a supported plugin. (SNAP Supported Plugins)