submodule update checks out Java4Python.  Fix the subdir in pavement.py to match.
Minor fixes and updates to conf.py  -- the path to the theme was corrupted somehow.