On Fri, May 28, 2010 at 3:10 PM, Ian Roberts (gate-users) <i.roberts@dcs.shef.ac.uk> wrote:
Andrew Borthwick wrote:
> Also, to answer your earlier question, in order to launch the GATE GUI
> with more memory run it as follows (this works in Linux):
> gate.sh -Druntime.max.memory=3072M -Druntime.start.memory=1024M

The official way to set these kinds of options so they work on all
operating systems is to create a file called "build.properties" in the

Is it the build.properties or build.xml
or we have to create a new build.properties file in the top level GATE dircetory