question: public static String strip ( String s ) { return s . replaceAll ( "\\[[;\\d]*m" , "" ) ; }
target:  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