Finalized simple html/jsp desugaring