141142143144145146147148149150151
} return expr; } else { String sText = stream.readString(); if (sText != null) { return new StringLiteral(sText); } else { Double dValue = stream.readDouble(); if (dValue != null) { return new DoubleLiteral(dValue); } else {