Update and fix judge names module
Rename Serialization module to Serializable
Format some code