An existing system has an environment package containing classes whose signatures are defined as shown below:

interface IKMObserver$\{\}$

interface Environment $\{\}$

interface IKMEnvironment extends Environment $()$

interface IKMProgramEnvironment extends IKMEnvironment $()$

class JavaSEEnvironment implements Environment $(\})$

class TestEnvironment implements IKMEnvironment $($f$)$

class JavaSETestEnvironment extends TestEnvironment $\{\}$

class JavaSE$7$TestEnvironment implements IKMObserver $(\})$

class JavaEETestEnvironment implements IKMObserver, IKMProgramEnvironment $(\})$