SpringRTS: fix runtime dependencies and maintain