plugins/org.eclipse.xtend.util.stdlib/src/org/eclipse/xtend/util/stdlib/platformhelper.ext

String platformRootPath(Object ctx): JAVA org.eclipse.xtend.util.stdlib.PlatformHelper.getPlatformRootPath(java.lang.Object);
String UrlifiedPlatformRootPath(Object ctx): platformRootPath(ctx).replaceAll(":", "|");