fixes Location#compareTo(Location)#3519

Merged

WolframPfeifer merged 3 commits intoKeYProject:mainfrom

BookWood7th:LocationComparisonFix

Nov 13, 2024

Commits on Oct 21, 2024

fixes NullPointerException, when using compareTo with locations that dont have a URI or position
BookWood7th
committed

Commits on Nov 12, 2024