eclipse-jee/eclipse.ini.patch

   1 diff -ur a/eclipse/eclipse.ini b/eclipse/eclipse.ini
   2 --- a/eclipse/eclipse.ini       2011-06-15 09:47:19.000000000 +0300
   3 +++ b/eclipse/eclipse.ini       2011-06-30 00:10:47.000000000 +0300
   4 @@ -9,11 +9,12 @@
   5  -showsplash
   6  org.eclipse.platform
   7  --launcher.XXMaxPermSize
   8 -256m
   9 +512m
  10  --launcher.defaultAction
  11  openFile
  12  -vmargs
  13  -Dosgi.requiredJavaVersion=1.5
  14  -XX:MaxPermSize=256m
  15  -Xms40m
  16 --Xmx512m
  17 +-Xmx768m
  18 +-Dosgi.configuration.area=@user.home/.config/eclipse