Skip to content

Change licenses field from final to non-final#410

Merged
goneall merged 1 commit intomasterfrom
remove-final
Apr 9, 2026
Merged

Change licenses field from final to non-final#410
goneall merged 1 commit intomasterfrom
remove-final

Conversation

@goneall
Copy link
Copy Markdown
Member

@goneall goneall commented Apr 8, 2026

Fixes #409

The JSON deserializer will modify the licenses property - it should not be marked as final for this reason.

Copy link
Copy Markdown
Collaborator

@pmonks pmonks left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

By coincidence I just started hitting this issue too, after upgrading my JVM.

Fix looks good! 👍

@goneall
Copy link
Copy Markdown
Member Author

goneall commented Apr 9, 2026

By coincidence I just started hitting this issue too, after upgrading my JVM.

Ahhh - that explains the recent warnings.

@goneall goneall merged commit b7f5266 into master Apr 9, 2026
1 check passed
@goneall goneall deleted the remove-final branch April 9, 2026 02:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Warning when running tools-java

2 participants