Rename class_defined.js to class_defined.html