Fix default JPDA configuration & a typo