~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
public String escapeKeyword(String keyword){
// keyword = keyword.replaceAll("[\\*\\n\\r\\t\\~\\^\\$\\#\\@]", "");
String tmp = keyword;
if(tmp.indexOf("*")!=-1){
tmp = tmp.replaceAll("[\\*]", "\\\\*");
}
return tmp;
}
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
