Considere este ejemplo:

 import java.math.BigDecimal fun main(args: Array<String>) { val s: String? = null BigDecimal(s) }

compila sin ninguna advertencia (con cli kotlinc e IntelliJ) y lanza en tiempo de ejecución:

 Exception in thread "main" java.lang.NullPointerException at java.math.BigDecimal.<init>(BigDecimal.java:809) ...

Traté de construirlo de diferentes maneras de acuerdo con documentos como este:

 kotlinc \ -Xnullability-annotations=@javax.annotation:strict \ -Xnullability-annotations=@org.jetbrains.annotations:strict \ -Xjsr305=strict \ Main.kt -d main.jar

La anotación parece estar allí (como se ve en IntelliJ):

Docs establece claramente que:

Los tipos de Java que tienen anotaciones de nulabilidad no se representan como tipos de plataforma, sino como tipos de Kotlin reales que aceptan nulos o que no son nulos.

¿Que me estoy perdiendo aqui?