A framework for enhanced UI elements and customization
This update fixes a crash due to compiling with the wrong Java version.
