6843013: missing files in fix for 6824493
Reviewed-by: darcy
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><html> <head> <title></title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> Classes to dump class files in text format. </body></html>