@NullMarked
package com.example.jspecify.annotatedpackage;

import org.jspecify.annotations.NullMarked;