public static String trimPrefix(String str, String prefix) {
        return (str.startsWith(prefix)) ? str.substring(prefix.length()) : str;
    }
public static String trimPrefix ( String str , String prefix ) { return ( str . startsWith ( prefix ) ) ? str . substring ( prefix . length ( ) ) : str ; }
@return str, with prefix stripped away from the beginning of it.