I adjusted the maven build system for jdk11 following the instructions present in the manual. I tried compiling the project using `mvn compile` and it displayed appropriate errors thrown by the nullness checker. But when I try to import org.checkerframework.checker.nullness.qual.Nullable; in any java file, an error is thrown as shown below
/home/pchattopadhyay/gsoc/current/gson/gson/src/main/java/com/google/gson/internal/bind/JsonTreeReader.java:[26,20] error: package org.checkerframework.checker.nullness.qual is not visible
[ERROR] (package org.checkerframework.checker.nullness.qual is declared in the unnamed module, but module org.checkerframework.checker.nullness.qual does not read it)
gson is a named module which tries to import the checker file present in an unnamed module. If I remove module-info.java file from the project I'm able to resolve this error temporarily and add annotations as required. Could you help me fix this conflict of named and unnamed module?
-Priti.