Safety
Start
Prev
Next
Runtime bytecode verifier
Null reference checking
Array bounds checking
Garbage collection
Exceptions for faults
Access to files, network controlled by runtime environment
