no need to include a copy of jython standard library in the repo