replacePrefix function
Implementation
String replacePrefix(
String text,
String oldPrefix,
String newPrefix
)
{
if ( text.startsWith( oldPrefix ) )
{
return newPrefix + text.substring( oldPrefix.length );
}
else
{
return text;
}
}