[java] Double % formatting question for printf in Java