cleanups, updated flycheck-java, vagrant devbox