migrate to JSpecify annotations

diff --git a/codegen/src/test/java/demoapp/codegen/demoshowcases/value/ValueTypeGenTemplateTest.java b/codegen/src/test/java/demoapp/codegen/demoshowcases/value/ValueTypeGenTemplateTest.java
index ae250e9..e9b3ed0 100644
--- a/codegen/src/test/java/demoapp/codegen/demoshowcases/value/ValueTypeGenTemplateTest.java
+++ b/codegen/src/test/java/demoapp/codegen/demoshowcases/value/ValueTypeGenTemplateTest.java

@@ -39,7 +39,7 @@
 import org.apache.causeway.commons.io.FileUtils;
 import org.apache.causeway.commons.io.TextUtils;
 
-import lombok.NonNull;
+import org.jspecify.annotations.NonNull;
 import lombok.SneakyThrows;
 import lombok.val;
 import lombok.extern.log4j.Log4j2;

diff --git a/domain/src/main/java/demoapp/dom/_infra/seed/SeedServiceAbstract.java b/domain/src/main/java/demoapp/dom/_infra/seed/SeedServiceAbstract.java
index c16b4e9..c1b4a10 100644
--- a/domain/src/main/java/demoapp/dom/_infra/seed/SeedServiceAbstract.java
+++ b/domain/src/main/java/demoapp/dom/_infra/seed/SeedServiceAbstract.java

@@ -29,7 +29,7 @@
 import demoapp.dom._infra.values.ValueHolder;
 import demoapp.dom._infra.values.ValueHolderFixtureFactory;
 import demoapp.dom._infra.values.ValueHolderRepository;
-import lombok.NonNull;
+import org.jspecify.annotations.NonNull;
 
 public abstract class SeedServiceAbstract
 implements

diff --git a/domain/src/main/java/demoapp/dom/_infra/values/ValueHolderFixtureFactory.java b/domain/src/main/java/demoapp/dom/_infra/values/ValueHolderFixtureFactory.java
index 5cbec59..037a5c0 100644
--- a/domain/src/main/java/demoapp/dom/_infra/values/ValueHolderFixtureFactory.java
+++ b/domain/src/main/java/demoapp/dom/_infra/values/ValueHolderFixtureFactory.java

@@ -22,7 +22,7 @@
 
 import org.apache.causeway.testing.fixtures.applib.fixturescripts.FixtureScript;
 
-import lombok.NonNull;
+import org.jspecify.annotations.NonNull;
 
 public class ValueHolderFixtureFactory {
 

diff --git a/domain/src/main/java/demoapp/dom/_infra/values/ValueHolderRepository.java b/domain/src/main/java/demoapp/dom/_infra/values/ValueHolderRepository.java
index 3e6708d..0eead0b 100644
--- a/domain/src/main/java/demoapp/dom/_infra/values/ValueHolderRepository.java
+++ b/domain/src/main/java/demoapp/dom/_infra/values/ValueHolderRepository.java

@@ -30,7 +30,7 @@
 
 import demoapp.dom.types.Samples;
 import lombok.AccessLevel;
-import lombok.NonNull;
+import org.jspecify.annotations.NonNull;
 import lombok.RequiredArgsConstructor;
 import lombok.val;
 

diff --git a/domain/src/main/java/demoapp/dom/domain/objects/DomainObject/nature/viewmodel/DomainObjectNatureViewModel_updateMessage.java b/domain/src/main/java/demoapp/dom/domain/objects/DomainObject/nature/viewmodel/DomainObjectNatureViewModel_updateMessage.java
index 09ba685..db6c019 100644
--- a/domain/src/main/java/demoapp/dom/domain/objects/DomainObject/nature/viewmodel/DomainObjectNatureViewModel_updateMessage.java
+++ b/domain/src/main/java/demoapp/dom/domain/objects/DomainObject/nature/viewmodel/DomainObjectNatureViewModel_updateMessage.java

@@ -1,6 +1,6 @@
 package demoapp.dom.domain.objects.DomainObject.nature.viewmodel;
 
-import org.springframework.lang.Nullable;
+import org.jspecify.annotations.Nullable;
 
 import org.apache.causeway.applib.annotation.Action;
 

diff --git a/domain/src/main/java/demoapp/dom/progmodel/customvaluetypes/customvalues/EmailAddressValueSemantics.java b/domain/src/main/java/demoapp/dom/progmodel/customvaluetypes/customvalues/EmailAddressValueSemantics.java
index f38f1a8..9631f0d 100644
--- a/domain/src/main/java/demoapp/dom/progmodel/customvaluetypes/customvalues/EmailAddressValueSemantics.java
+++ b/domain/src/main/java/demoapp/dom/progmodel/customvaluetypes/customvalues/EmailAddressValueSemantics.java

@@ -34,7 +34,7 @@
 import org.apache.causeway.schema.common.v2.ValueType;
 import org.apache.causeway.schema.common.v2.ValueWithTypeDto;
 
-import lombok.NonNull;
+import org.jspecify.annotations.NonNull;
 
 //tag::class[]
 @Named("demo.EmailAddressValueSemantics")