Added TestKostan.java to test various malformated input