Remove unneeded code

src/main/java/folk/sisby/surveyor/PlayerSummary.java

@@ -45,7 +45,6 @@ static PlayerSummary of(UUID uuid, MinecraftServer server) {
 	}
 
 	SurveyorExploration exploration();
-	void copyExploration(PlayerSummary oldSummary);
 
 	String username();
 
@@ -101,10 +100,6 @@ public int viewDistance() {
 			return 0;
 		}
 
-		@Override
-		public void copyExploration(PlayerSummary oldSummary) {
-		}
-
 		public record OfflinePlayerExploration(Set<UUID> sharedPlayers, Map<RegistryKey<World>, Map<ChunkPos, BitSet>> terrain, Map<RegistryKey<World>, Map<RegistryKey<Structure>, LongSet>> structures, boolean personal) implements SurveyorExploration {
 			public static OfflinePlayerExploration ofMerged(Set<SurveyorExploration> explorations) {
 				Set<UUID> sharedPlayers = new HashSet<>();
@@ -139,10 +134,6 @@ public SurveyorExploration exploration() {
 			return null;
 		}
 
-		@Override
-		public void copyExploration(PlayerSummary oldSummary) {
-		}
-
 		@Override
 		public String username() {
 			return player.getGameProfile().getName();
@@ -188,11 +179,6 @@ public SurveyorExploration exploration() {
 			return exploration;
 		}
 
-		@Override
-		public void copyExploration(PlayerSummary oldSummary) {
-			exploration.copyFrom(((ServerPlayerEntitySummary) oldSummary).exploration);
-		}
-
 		@Override
 		public int viewDistance() {
 			return viewDistance;
@@ -202,6 +188,10 @@ public void setViewDistance(int viewDistance) {
 			this.viewDistance = viewDistance;
 		}
 
+		public void copyExploration(ServerPlayerEntitySummary oldSummary) {
+			exploration.copyFrom(oldSummary.exploration);
+		}
+
 		public void read(NbtCompound nbt) {
 			exploration.read(nbt.getCompound(KEY_DATA));
 		}