Copy of http://babelfish.arc.nasa.gov/hg/jpf/jpf-core/ - default branch