fix launch configs, use java7 (jenkins doesnt yet run on java8 because
of old xstream library);