Different Xmx opts for Jenkins / GitHub actions#1821

sratz merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform:masterfrom

sratz:maxmemsratz/eclipse.platform:maxmemCopy head branch name to clipboard