Corrected source to work with older Java

Fixes #4