 In addition to enabling more efficient code, certain runtime exceptions are prevented from occurring, by issuing compile-time errors.If Java prevented all runtime type errors (codice_34s) from occurring, it would be type safe.In 2016, the type system of Java was proven unsound.