fix KonigTheoremExample.java directory