convert the given url from vm format file : / / / to eclipse format file : / . concode_field_sep String VM_FORMAT concode_elem_sep String ECLIPSE_FORMAT concode_field_sep String eclipseUrlToVm
String function ( String arg0 ) { if ( arg0 == null ) { return null ; } if ( arg0 . startsWith ( VM_FORMAT ) ) { arg0 = ECLIPSE_FORMAT + arg0 . substring ( VM_FORMAT . length ( ) ) ; } arg0 = URIUtilities . uriEncode ( arg0 ) ; return arg0 ; }