libgnome-java: not sure if this is just DF or what...