-patch /opt/clean/etc/IDEEnvs <<EOPATCH
---- IDEEnvs 2018-12-17 11:58:48.876039159 +0100
-+++ IDEEnvs 2018-12-17 12:00:52.384066455 +0100
-@@ -35,13 +35,44 @@
- Path: {Application}/lib/StdEnv
- Path: {Application}/lib/Dynamics
- Path: {Application}/lib/TCPIP
-+ Path: {Application}/lib/Gast
- Path: {Application}/lib/Platform
- Path: {Application}/lib/Platform/Deprecated/Generics
-+ Path: {Application}/lib/Platform/Deprecated/ArgEnv
-+ Path: {Application}/lib/Platform/Deprecated/MersenneTwister
- Path: {Application}/lib/Platform/Deprecated/StdLib
- Path: {Application}/lib/Sapl
+patch /opt/clean/etc/IDEEnvs <<EOPATCH
+--- IDEEnvs.orig 2019-11-19 08:13:53.243123284 +0100
++++ IDEEnvs 2019-11-19 08:15:02.819053965 +0100
+@@ -61,6 +61,39 @@
+ Path: {Application}/lib/ABCInterpreter