Fix #51, crash in Java 1.7 due to uninitialized array