Here you can find the source of formatTime(long duration)
public static final String formatTime(long duration)
//package com.java2s; /******************************************************************************* * Copyright (c) 2009, 2016 Xored Software Inc and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors://from ww w . j a v a2s. com * Xored Software Inc - initial API and implementation and/or initial documentation *******************************************************************************/ public class Main { public static final String formatTime(long duration) { return String.format("%d.%03d", duration / 1000, duration % 1000); } }