fix compile errors (Fedora 19, OpenJDK 1.7)

this fixes compile errors on my computer.