* rework code to fetch from new upstream home on github, closes: #760961
* force use of java-8 since app crashes with newer java versions
* update standards version
+ * eliminate obsolete menu file
-- Bdale Garbee <bdale@gag.com> Sat, 28 Jul 2018 10:29:19 +0800