Follow-up on the original solution to this problem.
I have since switched my primary JVM from a version of the 64-bit OpenJDK to the 64-bit Oracle Java JDK, by making the Oracle JDK the first one on my PATH. Now the Arduino environment starts up with no problems, using the distribution as provided (i.e., without swapping the serial libraries around).