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