A NASA Java PathFinder sub-project for model checking networked Java applications