falsche Standardschriftart in Java VM

[Yuuri]

Hallo zusammen,

ich weiß nicht recht wohin mit dem Topic, also kommt der Post mal direkt in diesem Forum.

Momentan plagt mich das Problem, dass die Java VM die falsche Standardschriftart verwendet. Es handelt sich dabei speziell um ein Problem in PhpStorm und eine fette Schriftart in der gesamten GUI (zum Glück außer dem Editor). Es tritt allerdings auch bei UI Manager Defaults auf, sobald ich dort das GTK+ Theme anwähle. Gesetzt sind die Werte richtig in der Liste (nirgendwo steht bold als Schriftart), allerdings macht er im Menü wiederum eine fette Schrift. Momentan in Verwendung ist ein Debian Sid mit Gnome 3 und in PhpStorm wird das GTK-Theme verwendet. java -version liefert

java version "1.7.0_51"
Java(TM) SE Runtime Environment (build 1.7.0_51-b13)
Java HotSpot(TM) 64-Bit Server VM (build 24.51-b03, mixed mode)

Auf Problemsuche bin ich schon gegangen, aber alles, was ich bisher finden konnte, hat das Problem nicht gelöst. Der populäre Fix für Ubuntu mit dem entfernen des Pakets fonts-unfonts-core geht nicht, weil das Paket bei mir nicht installiert ist. Das Fixieren einer anderen Schriftart in den Settings will auch irgendwie nicht richtig.

Im PhpStorm Forum gab es eine kleine Java Klasse (SysFontInfo.class, finde grad den Link nicht mehr), die mir folgendes ausgibt:

:~/bin$ java SysFontInfo 
Java font: javax.swing.plaf.FontUIResource[family=Segoe UI,name=Segoe UI,style=plain,size=13]
Font peer: ** TrueType Font: Family=Segoe UI Name=Segoe UI Bold style=1 fileName=/usr/share/fonts/segoeuib.ttf

(in Gnome ist Segoe UI 10 (nicht fett) als Standardschrift eingestellt)

Das Problem betrifft auch nur die Java VM, in nicht Java-Programmen ist alles wie gewollt.

Falls noch irgendwelche Infos benötigt werden, einfach fragen.



LG


edit:
http://www.hopsof.com/java-components-1/tools/uimanagerdefaultslookup

zeigt mir unter Menu.font wiederum eine fette Schriftart.