the command “/etc/init.d/tomcat7 restart” doesn’t work properly because Catalina is not shutting down properly.
To restart Dspace successfully I added the lines
pkill -9 java
in stop and restart parts of /etc/intit.d/tomcat7
# Tomcat auto-start export JAVA_HOME=/usr/lib/jvm/java-1.7.0-openjdk-amd64 case $1 in start) sh /usr/local/tomcat7/apache-tomcat-7.0.53/bin/startup.sh ;; stop) sh /usr/local/tomcat7/apache-tomcat-7.0.53/bin/shutdown.sh pkill -9 java ;; restart)sh /usr/local/tomcat7/apache-tomcat-7.0.53/bin/shutdown.sh pkill -9 java sh /usr/local/tomcat7/apache-tomcat-7.0.53/bin/startup.sh ;; esac exit 0