Deleted splash-class-definitions_old.js for the time being.