Suppress false positive warning: JSpecify @NullMarked field initialization warning on Manifold interface properties

[EotT123]

When using JSpecify’s @NullMarked on an interface that declares Manifold properties, IntelliJ reports a warning claiming the properties must be initialized:

@org.jspecify.annotations.NullMarked
interface MyIntf {
    @val String foo;  // Warning: @NullMarked fields must be initialized
}

This is a false positive. The @val declaration in a Manifold interface does not define a field, it is transformed into a getter method. As a result, no field initialization requirement should apply here.

Expected behavior: Suppress JSpecify field-initialization warning for Manifold interface properties.

[EotT123]

Resolved in #73