Hot corner implementation in Java. Inspired by GNOME 3.10.