Annotations across modules

[Stephen Colebourne]

My understanding of annotations today is that annotations are not
required at runtime. ie. if an annotation is placed into a class at
compile time but the .class file for the annotation is not available
on the runtime classpath. then there is no error.

Does this change in any way with modules?

My specific case is wrt @ConstructorProperties which is in java.beans.
In 9, a user may run my software without the java.beans module. Can I
safely assume that if the annotation is available on the compile
module path but not the runtime module path, everything will be OK
(ie. no error)?

thanks
Stephen