Elemental2: Type checked access to browser APIs for Java codegithub.com/google1 pointbased27 years ago