1521275a5d
To avoid confusion with JvmPlatform and JsPlatform from frontend.java and
js.frontend respectively
Original commit: 26a6ce9a31