1 @NullMarked 2 package com.example.jspecify.annotatedpackage; 3 4 import org.jspecify.annotations.NullMarked; 5