diff --git a/src/org/rascalmpl/library/util/PathConfig.java b/src/org/rascalmpl/library/util/PathConfig.java
index 5dcb99ec852..b70af1c8c12 100644
--- a/src/org/rascalmpl/library/util/PathConfig.java
+++ b/src/org/rascalmpl/library/util/PathConfig.java
@@ -592,8 +592,10 @@ else if (rascalProject != null) {
                 messages.append(Messages.error("Project-Name in RASCAL.MF (" + projectName + ") should be equal to folder name (" + URIUtil.getLocationName(manifestRoot) + ")", getRascalMfLocation(manifestRoot)));
             }
 
-            if (!manifest.getRequiredLibraries(manifestRoot).isEmpty()) {
-                messages.append(Messages.info("Required-Libraries in RASCAL.MF are not used anymore. Please use Maven dependencies in pom.xml.", getRascalMfLocation(manifestRoot)));
+            try (InputStream mfi = manifest.manifest(manifestRoot)) {
+                if (!new Manifest(mfi).getMainAttributes().getValue("Require-Libraries").isEmpty()) {
+                    messages.append(Messages.info("Require-Libraries in RASCAL.MF are not used anymore. Please use Maven dependencies in pom.xml.", getRascalMfLocation(manifestRoot)));
+                }
             }
         }
         catch (IOException e) {