Java Edition 1.15 Pre-release 7

1.15 Pre-release 7 (known as 1.15-pre7 in the launcher) is the seventh pre-release for Java Edition 1.15, released on December 9, 2019, which fixes some bugs.