docs: public static boolean isPackedSRE(File jarFile) {
  		try (JarFile jFile = new JarFile(jarFile)) {
  			final Manifest manifest = jFile.getManifest();
  			if (manifest == null) {
  				return false;
  			}
  			final Attributes sarlSection = manifest.getAttributes(SREConstants.MANIFEST_SECTION_SRE);
  			if (sarlSection == null) {
  				return false;
  			}
  			final String sarlVersion = sarlSection.getValue(SREConstants.MANIFEST_SARL_SPEC_VERSION);
  			if (sarlVersion == null || sarlVersion.isEmpty()) {
  				return false;
  			}
  			final Version sarlVer = Version.parseVersion(sarlVersion);
  			return sarlVer != null;
  		} catch (IOException exception) {
  			return false;
  		}
  	}