safe programs (java only)