removePrefix function
Implementation
String removePrefix(
String text,
String prefix
)
{
if ( prefix.isNotEmpty
&& text.startsWith( prefix ) )
{
return text.substring( prefix.length );
}
else
{
return text;
}
}