public static String strip(String s){
  return s.replaceAll("\u001B\\[[;\\d]*m","");
}

public static String strip ( String s ) { return s . replaceAll ( "\\[[;\\d]*m" , "" ) ; }
strip a string of its ansi formatting . this removes colour codes . if you ' re storing a string to a file , it ' s likely you want to store it after calling this method to ensure you don ' t store a mangled mess of ascii escape codes
