add gc() to System

diff --git a/Robust/src/ClassLibrary/MGC/System.java b/Robust/src/ClassLibrary/MGC/System.java
index 32b694372d54d73f6bff2226210431ba3f23af2f..f97a25a57074c166c780635ab106c21d147430bb 100644 (file)
--- a/Robust/src/ClassLibrary/MGC/System.java
+++ b/Robust/src/ClassLibrary/MGC/System.java
@@ -22,6 +22,8 @@ public class System {
   public static native long getticks();
 
   public static native void printString(String s);
+  
+  public static native void gc();
 
   public static void println(String s) {
     System.printString(s+"\n");