-javac error message now specifies precise STANCE Java frontend AST server version.
-javac error message now specifies precise STANCE Java frontend AST server version.


willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast