Il mapping e' ok... La servlet e' compilata e si trova nel package provaprogetto?