diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java index 67fc4206c08fff8168652c87c02ec2535a282041..1833f8becaeb9b09a6f4bd9101d326a8e87b0ee3 100644 --- a/de.prob.core/src/de/prob/cli/CliStarter.java +++ b/de.prob.core/src/de/prob/cli/CliStarter.java @@ -186,7 +186,6 @@ public final class CliStarter { } } - @SuppressWarnings("unchecked") private void extractCliInformation(final BufferedReader input) throws CliException { final PortPattern portPattern = new PortPattern();