From e80505550a10ac35573a096f66590153ad8d222b Mon Sep 17 00:00:00 2001 From: Simon Graband Date: Wed, 22 May 2024 16:00:21 +0200 Subject: [PATCH] Remove public from interface methods --- .../theia/cloud/operator/TheiaCloudOperatorLauncher.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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); }