/** * after opening of a new environment succeeded, the environment must be * pushed in the stack of current environments. * * @see Environment#pop() */ protected static synchronized void pushEnvironment(Environment environment) { Environment current = currentEnvironment.get(); if (current != null) { getStack().push(current); } currentEnvironment.set(environment); } }