current awesome settings. jdk bug workaround and gnome