fix example spell - KonigTheoremExample.java