Null許容型が無いJavaは型安全な言語ではない