Thank you, diesieben07, but Pixelmon was recently discontinued due to corporate pressure.
RedstoneMaster256, thank you too for your reply. Based on what diesieben07 said, that would be unlikely to have an effect, and I am reluctant to upgrade Java, since this is also my development machine, and my current build works.
I'm still hoping someone can let me know a combination of versions that work.