Also relevant: we have checked into vcs our .idea/compiler.xml file (I think to do with trying to set the -parameters switch on the javac compiler but I forget the details)