26a6ce9a31
To avoid confusion with JvmPlatform and JsPlatform from frontend.java and js.frontend respectively
To avoid confusion with JvmPlatform and JsPlatform from frontend.java and js.frontend respectively