Fix for issue #141: Weird JDK8 and/or Travis-CI issue