linux terminal settings file to set syntastic javac options