public static String extract(String s){
  String result;
  result=s;
  result=result.replaceAll("\\$Revision:","");
  result=result.replaceAll("\\$","");
  result=result.replaceAll(" ","");
  return result;
}

public static String extract ( String s ) { String result ; result = s ; result = result . replaceAll ( "\\$Revision:" , "" ) ; result = result . replaceAll ( "\\$" , "" ) ; result = result . replaceAll ( " " , "" ) ; return result ; }
extracts the revision string .
