GH-1212 Replace JetBrains annotations with JSpecify annotations for nullability

[Jakubk15]

This PR replaces nullability annotations from JetBrains with the ones from JSpecify.

Resolves #1212

[gemini-code-assist]

Code Review

This pull request successfully replaces JetBrains nullability annotations with JSpecify annotations across the project. The changes are thorough and consistent. I've added one suggestion to improve annotation correctness in one of the files, making the nullability contract more precise. Overall, this is a great refactoring that improves code standardization.

[noyzys]

Trzeba też pamiętać jedno mieszanie adnotacji JetBrains i JSpecify mogłoby utrudnić interpretację kontraktów nullability, dlatego intencją jest pełne przejście na JSpecify w całym projekcie co za tym idzie zmiany w codebse.

Migracja do JSpecify jest celowa - chodzi o spójny, specyfikacyjny model nullability pseudo nullsafety i unikanie mieszania różnych frameworków adnotacji.
Twoja sugestia faktycznie poprawia precyzję kontraktu, więc ja daję approve aczkolwiek nie spamował bym tym na dużą skale.

[noyzys]

@noyzys Problem w tym, że JSpecify posiada tylko adnotację dotyczące nullability, a nie posiada takich rzeczy jak chociażby @ApiStatus, czy @Unmodifiable

Dlatego trzeba iść drogą hybrydową

[imDMK]

Suggested change

	NoticeService noticeService,
	Notice message,
	List<String> commands
	@NonNull NoticeService noticeService,
	@NonNull Notice message,
	@NonNull List<String> commands