I found the solution
The question is about ubuntu 12, but this not used anymore. In modern debian/ubuntu systems take a look into:
/usr/lib/systemd/system/jenkins.service
change the port in the line
Environment="JENKINS_PORT=8080"
The port is still in /etc/default/jenkins but the change there is useless. Tested in debian11.3
Sharing here it might help someone