//This file generated automatically from the MARIUS LP system, please do not edit.

public class Singleton {
private static Singleton _inst = null;

public Singleton getSingleton() {
   if (_inst==null) {
     _inst = new Singleton();
   }

  return _inst;

}
} //End of class Singleton