@return the string passed in but with the prefix removed
*/
private String removeLogPrefix (String s)
{
FastStringBuffer buf = new FastStringBuffer(s);
if (buf.startsWith(StringTablePrefix)) {
return buf.substring(StringTablePrefix.length(), s.length());
}
return s;
}