Updated launcher script so it adds command-line arguments for JGroups.