It *will* overflow in the default case, because launchTimeout will be Integer.MAX_VALUE.