https://www.dineshonjava.com/servlets-auto-page-refresh/