Yevgeny Kazakov

@ignazio1977, I am curious what exactly did not work for you (before you hardcoded the string)? Clearly, the problem was because the "Implementation-Title" was not present in the HermiT Manifest...

Hmm. Do you get `null` from eclipse? For ELK I also get `null` for `getClass().getPackage().getImplementationTitle()` in eclipse if I enable workspace resolution (of maven projects), but if I disable that...

Note that for `getReasonerVersion()` the problem was different (also for HermiT!). The value was **correctly** taken from the Manifest file, but the problem was in converting it to a sequence...

> I created a new project in Eclipse, and lo and behold, everything worked as expected on extracting the implementation title and version from the manifest file. I did not...

B.t.w., I cannot compile HermiT from this repository. When I do `mvn compile` I get: ``` [INFO] ------------------------------------------------------------------------ [INFO] Building HermiT 1.4.0.0-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- buildnumber-maven-plugin:1.4:create (default) @...

> Unfortunately the Version class cannot deal with the patch and build sections of the string. It would fail in situations such as working with a SNAPSHOT build, or a...

So, how does Eclipse find the HermiT Manifest file in your setup?

If Eclipse does not find the Manifest file, then how extraction of the implementation title now works for you (after creating a new project)? Can you check the class path...

The problem is exacerbated if several images are built at once, e.g., using docker compose. For example for this `Dockerfile`: ``` FROM jupyter/minimal-notebook:2023-09-18 AS test1 RUN touch /tmp/test FROM test1...

Thanks @bsousaa, that worked! Finally the memory is under control! Did this feature appear in the last version? Please consider disabling SBOM by default.