misc Java programs and sources