Wrappers for AutoCloseable, Throwable and AccessController

[Damtev]

Description

There are some widely used classes - such as AutoCloseable, Throwable, and AccessController - that are difficult to analyze but do almost nothing important (from a symbolic analysis point of view). So, they are the perfect candidates for UtMocks.

Expected behavior

Implement UtMocks for classes java.lang.AutoCloseable, java.lang.Throwable, and java.security.AccessController.

Environment

Not applicable.

Potential alternatives

No.

Context

Not applicable.