Migration from deprecated API in Java. - Roman Strobl; Zdenek Tronícek (SPLASH (Companion Volume), 2013)