The following lines were added (+) and removed (-):
==== Particular player crashes server shortly after joining ====Symptoms: The specific player joins the minecraft server. The server starts throwing errors like: [00:00:09] [Server thread/WARN]: Can't keep up! Did the system time change, or is the server overloaded? Running 25677ms behind, skipping 513 tick(s)or [00:07:15] [Server thread/WARN]: Invalid statistic in ./world/stats/217011de-e1ae-3ef0-ba2a-91e3677f1313.json: Don't know what achievement.cookFish isAn incompatibility with the player profile due to corruption in the .dat file or data in the .dat file being from a different version of minecraft can cause this.Player .dat files are the player profile data including inventory, achievements, and related that are stored on the server. minecraft/world/playerdataThe .dat files look like: 217011de-e1ae-3ef0-ba3a-91e3607f1313.datIf you are able to identify which .dat file goes to the offending player, and after deleting it the server no longer crashes, thenyou have found the problem. You might have to backup and delete all .dat files for a test run. Matching a dat file to a player is difficult without 3rd party tools. It can be done based on time/date or by process of elimination.