Yes, the best thing to do if a restart is needed is to restart the project, not the server.
But I think if you go to Window-->preferences-->validation there is a checkbox that will enable auto reload when resources have changed. That way when you save a
servlet, the project will restart itself.