Fix compilation problems (wrt JDK 1.7) for Obser (what a pain)