1. Don't edit the help page located in the Java source tree -- only edit the copy located in the Web site directory!

2. Run resources/create_program_help.py to create the JWX help page before updating the Java executable.