Changes

#67 (Apr 13, 2024, 2:30:29 PM)

1. Update Jenkinsfile — noreply / githubweb

#6 (Aug 22, 2023, 12:28:46 PM)

1. Update NOTICES.md; fixes #397 (#398) — noreply / githubweb

#3 (Aug 14, 2023, 3:50:29 PM)

1. fix unnecessary decl split — Andrii Berezovskyi / githubweb

#2 (Aug 14, 2023, 3:48:22 PM)

1. Update OslcGlobalNamespaceProvider.java — noreply / githubweb