tree 9686d5bcfa370bad192325dba61ecac3a209db01
parent 4e73a0c66bc7bc9958baf34ef76604665f25bfb8
author Markus Keller <mkeller> 1145368126 +0000
committer Markus Keller <mkeller> 1145368126 +0000

use latest ExecutionEnvironment format:
136146: JRE container with EE is not backwards compatible with 3.1