Como haces para saber que no se actualiza?
tal vez es que te falta cerrar la conexion (no el preparedStatement, solamente sino tambien la conexion)?

(Sugiero elimina los "this." de cada linea donde aparecen. Son superfluos alli)

Sugiero probar esto:
que en vez de hacer UPDATE y un monton de set, hagas set a todos los campos menos al campo id (que supongo es la unico campo que es la llave primaria de esa tabla), y que ese campo id sea parte de la condicion where, que no incluyes, asi que sugiero incluirla.

UPDATE SET campo1 = ?, campo2 = ?, ...
WHERE id = ?

https://docs.oracle.com/javase/8/docs/api/java/time/format/DateTimeFormatter.html ?

En la linea 11 preguntas si El products existe, pero en la linea 6 preguntaste si habia stock. Es posible que El producto no exista en ese punto?
Para mi, parece imposible y por tanto superfluo hacer ese if ahi.

Los ifs que comparan retirar y oldstock hacen lo mismo para Las 2 primeras condiciones. Por que no hacer solo 1 if para ambos casos (por ejemplo if retirar > 0 y quedarse solo con El codigo maa generico (El que resta oldStock y retirar)

No captures la exception aqui para disminuir El tamaño de este codigo y en general no captures la exception generica, Sino captura solo la exception especifica que se produce, tal vez la exception ocurre porque no chequeas que El products existe ANTES de obtener El stock?

Tu clase Nodo incluye un puntero hacia el Nodo anterior.
Usalos ubicandote primero al final de la lista, que tambien has establecido en tus clases.

El reemplazo de la recursion por la version iterativa no parece estar calculando el factorial.

n = n + (n * k)

La suma parece estar demas.

Los numeros se ingresan por separado de acuerdo al enunciado.

Nota que el enunciado dice:  "Ej 1", existen otros ejemplos?

Para que calce con el ejemplo. creo que se puede resolver llevando varias variables que mantenga la suma hasta ese momento.

Si vas llevando la suma hasta ese momento en una variable suma, esa variable tendra estos valores a medida que van apareciendo, sin necesidad de guardar todos los numeros en un arreglo o vector.

4, suma = 4
1, suma = 5
3, suma = 8
8, suma = 16
2, suma = 18
7, suma = 25
9, suma = 34

Otra variable puede llevar cual es el menor, y otra cual es la suma que se produce hasta ese momento.

4, suma = 4, menor = 4, sumamenor = 4
1, suma = 5, menor = 1, sumamenor = 5
3, suma = 8
8, suma = 16
2, suma = 18
7, suma = 25
9, suma = 34

Otra variable puede llevar cual es el mayor, y otra cual es la suma que se produce hasta ese momento.

4, suma = 4, menor = 4, sumamenor = 4, mayor = 4, sumamayor = 4
1, suma = 5, menor = 1, sumamenor = 5
3, suma = 8
8, suma = 16, ... mayor = 8, sumamayor = 16
2, suma = 18
7, suma = 25
9, suma = 34, ... mayor = 9, sumamayor = 34

al final tendras
menor = 1, sumamenor = 5, mayor = 9, sumamayor = 34

sumamayor - sumamenor - mayor = 34 - 5 - 9  = 20

ahora, si lo que primero aparece es el numero mayor,
lo que habria que hacer es:

sumamenor - sumamayor - menor

Puesto que los numeros deben tener al menos 1 digito, es posible empezar la cuenta con 1 y modificar la condicion del ciclo y con ello se ahorra la comparacion inicial contra 0.
Algo asi:


Para numeros negativos, hay que hacer al inicio el equivalente a   n = abs(n)

Sugiero usar HashMap, se eliminan los ciclos que tienes en los metodos modificarContacto y getContacto