This is very likely the same issue described here: http://blogs.operationaldynamics.com/andrew/software/java-gnome/use-comma-in-font-description
As Aurelién is on holiday, I'll steal the bug from him. :-)
This is very likely the same issue described here: blogs.operation aldynamics. com/andrew/ software/ java-gnome/ use-comma- in-font- description
http://
As Aurelién is on holiday, I'll steal the bug from him. :-)