Danke, ich hab's befürchtet. Kann man vielleicht nachträglich die Attribute der JVM ändern? Z.B. die maximale Speichernutzung auf ein Minimum setzen und vor dem Aufruf des nächsten Java-Programms das Attribut wieder ändern?

Dieter