Enhanced Type Safety in Java
Java is known to be a strongly type safe language, but there are some coding conventions and when these are used in some applications like persistent storage through serialization may generate unreliable or wrong output. Such cases should be caught and modified as per requirement to produce a modified safe program. This can be achieved by designing a translator tool which can catch unsafe code segments and produce a modified safe code segment. When a singleton class is serialized it is necessary to include a special method from serializable interface within it then only it gives the right result. If this method is not there within the class then it produces unpredictable results. Such results may violate type safe property of object oriented programming.