Coarse-grained dynamic information-flow control (IFC) is a good match for imperative object-oriented programming languages such as Java. Java language abstractions align well with coarse-grained IFC ...

If a customization is done to a type that includes defining a nested type, but the declaring type itself was also renamed, we still end up generating the duplicate nested type.