fix compile error (Fedora 19, OpenJDK 1.7)