Yeah, libGDX is my go to now for web-based emulators and interpreters. JVIC is the third one I've written now. The other two are JOric and AGILE:
They all use the GWT html target. I realise that there is now also a TeaVM target. I might try converting JVIC to use TeaVM at some point.