Comment by geodel

> Making something work in Java is easy. Proving it is secure is not.

Ok, so which language it is easy to prove secure?