Joe-E

• Classes may not have mutable static fields, because these create global state.
• Catching out-of-memory exceptions is prohibited, because doing so allows non-deterministic execution. For the same reason, finally clauses are not allowed.
• Methods in the standard library may be blocked if they are deemed unsafe according to taming rules. For example, the constructor new File is blocked because it allows unrestricted access to the filesystem.