diff --git a/src/org/rascalmpl/shell/RascalShell.java b/src/org/rascalmpl/shell/RascalShell.java index 70d23b5f820..563c762c6dc 100644 --- a/src/org/rascalmpl/shell/RascalShell.java +++ b/src/org/rascalmpl/shell/RascalShell.java @@ -28,6 +28,12 @@ public class RascalShell { + static { + // Log4j is disabled here to prevent an error from being shown in every Rascal shell + // See https://github.com/usethesource/rascal/issues/2436 + System.setProperty("log4j.provider", "org.apache.logging.log4j.simple.internal.SimpleProvider"); + } + public static void main(String[] args) throws IOException { int ideServicesPort = -1; checkIfHelp(args);