fork(2) download
import java.text.DecimalFormat;

public class Main {

    public static void main(String[] args) {
        Double timestamp = 1.3552299670232847E12;
        System.out.println("it was " + timestamp);
        System.out.println("and now " + String.format("%.4f", timestamp));
    }
    
}
Success #stdin #stdout 0.03s 246656KB
stdin
Standard input is empty
stdout
it was 1.3552299670232847E12
and now 1355229967023.2847