Pre-existing explorer maps have not been renamed

In this week’s snapshot for Java Edition, the jungle, ocean, swamp, trial, and woodland explorer maps had their names changed to “<structure name> Explorer Map”. This change does not appear to have been applied in this week’s Preview, as the aforementioned explorer maps still use their previous names.