PrintWriter out = new PrintWriter(new FileWriter("helpTOC.html"));\r
out.println("<html><head></head><title>Jalview - Help </title></head>\n"\r
+"<body bgcolor=#F1F1F1>\n"\r
PrintWriter out = new PrintWriter(new FileWriter("helpTOC.html"));\r
out.println("<html><head></head><title>Jalview - Help </title></head>\n"\r
+"<body bgcolor=#F1F1F1>\n"\r