How Difficult Is It Really to Move to a Different OpenJDK Distribution?