rename JmlLabeledClause

[wadoon]

In a nutshell This PR renames the JmlLabeledClause type across the repository and updates code, tests, and related files to match the new identifier. It’s a large mechanical refactor that likely fixes naming/consistency issues but may cause API/compatibility breaks for downstream users.

[github-code-quality]

Code Coverage Overview

Languages: Java

Java / code-coverage/jacoco-ubuntu-latest-21

The overall coverage in commit c78f88d in the weigl/classEnum branch remains at 57%, unchanged from commit f3cb5f2 in the main branch.

Show a code coverage summary of the most impacted files.

File	main f3cb5f2	weigl/classEnum c78f88d	+/-
com/github/java...eMetaModel.java	100%	0%	-100%
io/github/jmlto...StatisticKey.kt	75%	72%	-3%
com/github/java...torAdapter.java	60%	59%	-1%
com/github/java...JavaParser.java	76%	76%	0%
com/github/java...kenManager.java	29%	29%	0%
com/github/java...ierVisitor.java	52%	52%	0%
com/github/java...torAdapter.java	51%	51%	0%
com/github/java...eledClause.java	0%	44%	+44%
com/github/java...ClauseKind.java	0%	68%	+68%
com/github/java...eMetaModel.java	0%	100%	+100%

---

_{Updated August 15, 2026 18:28 UTC}