convertHTMLToJSP.py

def loadHTMLCode():
    print('Loading codes form HTML files')
    res = []
    with open("input.txt",'r') as inFile:
      for line in inFile:
          s = line.strip();
          words = s.split("\\")
          tmp = "\\\\".join(words)
          tmpWords = tmp.split('"')
          res.append('\\"'.join(tmpWords))                             
    print(len(res), "lines loaded.")
    return res


def convertHTMLtoJPSCode(res):
    print(*("out.println(\"{0}\");".format(line) for line in res), sep="\n")
            
        
convertHTMLtoJPSCode(loadHTMLCode())