Moved the top-level html generation from WebJFrame to HTMLEmissionVisitor, to facilitate supporting multiple JFrames.