Update svnjavadoc.py