* added de-stringify function for Java