Switching jetty to 8080 and gs1 to 7000 so we do not need to modify itk's default config