strip any leading `` file : '' off a url string concode_field_sep PlaceHolder placeHolder concode_field_sep String removeExtension concode_elem_sep String extension concode_elem_sep String uriFor concode_elem_sep String decodeSafeName concode_elem_sep String ensureLastSlash concode_elem_sep String lastSegment concode_elem_sep String safeVarName concode_elem_sep int asInt concode_elem_sep String splitAfterLast concode_elem_sep String newName concode_elem_sep String encodeSafeName concode_elem_sep String idFromURI concode_elem_sep String newURI concode_elem_sep String normalizeFilepath concode_elem_sep String splitBeforeLast concode_elem_sep String safeName concode_elem_sep boolean isURI concode_elem_sep String stripLastSlash
String function ( String arg0 ) { if ( arg0 . startsWith ( "srini_string" ) ) { return arg0 . substring ( 5 ) ; } else { return arg0 ; } }