On 17/03/2021 08:21, Jaikiran Pai wrote:
:I can confirm that using "NUL" or "nul" work fine in the above code,
I don't know the context for your question but just to mention InputStream.nullInputStream() or Reader.nullReader() may be useful if you have something that wants to read from a null stream.
-Alan.