function ensureEmptyLineAt(fileLines, lineNo) {
	if (lineNo >= fileLines.length || !isEmpty(fileLines[lineNo])) {
		fileLines.splice(lineNo, 0, "");
	}
}
@param {string[]} fileLines
@param {number} lineNo