Hi,
I'm new to LearnLib. I've cloned both AutomataLib and LearnLib, and they both build successfully. However, when I tried to import them to Eclipse (after installing the Maven plugin m2e), I encountered many errors, mostly related to importing packages. I've already tried the ''mvn package'' to rebuild the project, and it builds successfully, but the errors are still the same. I took a look at issues #32 and #44, but nothing changed.

Any idea of what might have gone wrong?

here is a screenshot of the errors:
Screenshots

Desktop:

• OS: Windows
• Java version: 17
• LearnLib version: 0.17.0