javapathfinder/jpf-core code health