diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 905148c1f4d1b2069e5775663c8f9bbd08f0cc52..5861c40a5222e72d751957ea21f5c74f62901d5d 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -206,7 +206,6 @@ public final class CliStarter {
 				Matcher portMatcher = CLI_PORT_PATTERN.matcher(line);
 				if (portMatcher.matches()) {
 					portTemp = Integer.parseInt(portMatcher.group(1));
-					Logger.info("Received port number from CLI: " + portTemp);
 				}
 
 				Matcher userInterruptReferenceMatcher = CLI_USER_INTERRUPT_REFERENCE_PATTERN.matcher(line);
@@ -217,7 +216,6 @@ public final class CliStarter {
 						Logger.info("This ProB build has user interrupt support disabled. Interrupting ProB may not work as expected.");
 					} else {
 						userInterruptReferenceTemp = Long.parseLong(userInterruptReferenceString);
-						Logger.info("Received user interrupt reference from CLI: " + userInterruptReferenceTemp);
 					}
 				}