puste double i float w printf i String.format

W Javie, kiedy dostarczam zmienną zmiennoprzecinkową do printf lub String.format, to nic nie daje. Aby zilustrować, przykład:

public class test {
    public static void main(String arg[]) {
        double d = 123.456; 
        System.out.println("println: " + d + " " + (int) d);
        System.out.printf("printf as int: %d%n", (int) d);
        System.out.printf("printf with %%f: %f%n", d);
        System.out.printf("printf with %%e: %e%n", d);
        System.out.printf("printf with %%g: %g%n", d);
        System.out.printf("printf with %%a: %a%n", d);
    }
}

Daje

in println: 123.456 123
in printf as int: 123
in printf with %f: 
in printf with %e: 
in printf with %g: 
in printf with %a:

Jak widać, działa z println, ale nie działa na printf. To samo dotyczy String.format. Jeśli podam szerokość i precyzję, robi to samo - nic nie daje.

Co ja robię źle?

EDYCJA: używam lokalizacji en_US.UTF-8; Nie jestem pewien, jakiej wersji Javy używam. Co wiem to: skompilowałem go za pomocą gcc (gcj), wersja 4.7.2; I mieć zainstalowane gcj JRE w wersji 4.7.2 i OpenJDK JRE w wersji 7u7-2.3.2a.; Edytowałem kod. Teraz jest to cały kod programu. Napisałem go jako mały program testowy po tym, jak zauważyłem problemy z liczbami zmiennoprzecinkowymi w moim innym kodzie.