A framework for developing web application with TeaVM