Fixed Java timestamp de- and encoding #11