Various mirrors and "unblocked" sites host the 1.12.2 HTML files.
: Use IntelliJ IDEA or Eclipse with the Minecraft Development plugin to edit the source code. eaglecraft 1.12