La porta è sempre la stessa (di default 8080)
Quindi dovesti andare su:
http://localhost:8080/prova/prova.html

Supponendo che la pagina html sia in ../webapps/prova/