Comment # 5 on bug 978952 from Walther Pelser

   set_options "-Xms128M -Xmx1G" 

can also be changed to

   set_options "-Xms128M" "-Xmx1G" 

to make make it work on my PC.

Maybe all this could be helpful.

Thanks 
  Walther