diff --git a/java/operator/org.eclipse.theia.cloud.operator/src/main/java/org/eclipse/theia/cloud/operator/TheiaCloudOperatorLauncher.java b/java/operator/org.eclipse.theia.cloud.operator/src/main/java/org/eclipse/theia/cloud/operator/TheiaCloudOperatorLauncher.java index 9983f232..b64c6293 100644 --- a/java/operator/org.eclipse.theia.cloud.operator/src/main/java/org/eclipse/theia/cloud/operator/TheiaCloudOperatorLauncher.java +++ b/java/operator/org.eclipse.theia.cloud.operator/src/main/java/org/eclipse/theia/cloud/operator/TheiaCloudOperatorLauncher.java @@ -20,10 +20,10 @@ public interface TheiaCloudOperatorLauncher { - public abstract void runMain(String[] args) throws InterruptedException; + abstract void runMain(String[] args) throws InterruptedException; - public abstract TheiaCloudOperatorArguments createArguments(String[] args); + abstract TheiaCloudOperatorArguments createArguments(String[] args); - public abstract AbstractTheiaCloudOperatorModule createModule(TheiaCloudOperatorArguments arguments); + abstract AbstractTheiaCloudOperatorModule createModule(TheiaCloudOperatorArguments arguments); }