From http://www.jwz.org/xscreensaver/xscreensaver-5.40.tar.gz
[xscreensaver] / android / xscreensaver / .idea / workspace.xml
2018-08-13 Zygo BlaxellFrom jwz.org/xscreensaver/xscreensaver-5.40.tar.gz master
2018-04-16 Zygo BlaxellFrom jwz.org/xscreensaver/xscreensaver-5.39.tar.gz
2017-12-22 Zygo BlaxellFrom jwz.org/xscreensaver/xscreensaver-5.38.tar.gz