diff --git a/rtl/java/Launcher.java b/rtl/java/Launcher.java
index 5077fa884a1620022ba77acc0ca4f32b1d7467a2..a49e32840ddb95efb76a6b743cd5b44de52d8328 100644 (file)
--- a/rtl/java/Launcher.java
+++ b/rtl/java/Launcher.java
NoSuchMethodException,
InvocationTargetException
{
+ Args.args = args;
Class<?> module = Class.forName(args[0]);
Method begin = module.getMethod("BEGIN");
begin.invoke(null);