import jalview.ws2.ResultSupplier;
import jalview.ws2.WSJob;
import jalview.ws2.WSJobStatus;
import jalview.ws2.ResultSupplier;
import jalview.ws2.WSJob;
import jalview.ws2.WSJobStatus;
import jalview.ws2.WebServiceI;
import jalview.ws2.WebServiceWorkerI;
import jalview.ws2.utils.WSJobList;
import jalview.ws2.WebServiceI;
import jalview.ws2.WebServiceWorkerI;
import jalview.ws2.utils.WSJobList;
protected void buildMenu(JMenu parent, AlignFrame frame)
{
final var calcName = service.getName();
protected void buildMenu(JMenu parent, AlignFrame frame)
{
final var calcName = service.getName();
{
var item = new JMenuItem(MessageManager.formatMessage(
"label.calcname_with_default_settings", calcName));
{
var item = new JMenuItem(MessageManager.formatMessage(
"label.calcname_with_default_settings", calcName));