After closing minecraft, the following error is in the development console.

Client> java.io.IOException: Stream Closed
Client> at java.io.RandomAccessFile.seek(Native Method)
Client> at aos.a(SourceFile:308)
Client> at aos.a(SourceFile:251)
Client> at aot.close(SourceFile:232)
Client> at java.util.zip.DeflaterOutputStream.close(Unknown Source)
Client> at java.io.FilterOutputStream.close(Unknown Source)
Client> at aov.a(SourceFile:145)
Client> at aov.c(SourceFile:133)
Client> at ayc.b(SourceFile:30)
Client> at ayc.run(SourceFile:23)
Client> at java.lang.Thread.run(Unknown Source)
Client> [16:12:49] [Server thread/INFO]: Saving chunks for level 'Minecraft'/Nether
Client> [16:12:49] [Server thread/INFO]: Saving chunks for level 'Minecraft'/The End
Client> [16:12:55] [Client thread/INFO]: Stopping!

The error is only shown in the development console not in the latest log:
[16:12:49] [Server thread/INFO]: Saving chunks for level 'Minecraft'/Overworld
[16:12:49] [Server thread/INFO]: Saving chunks for level 'Minecraft'/Nether
[16:12:49] [Server thread/INFO]: Saving chunks for level 'Minecraft'/The End
[16:12:55] [Client thread/INFO]: Stopping!