Improve version handling for eclipse plugin#635

cristatus wants to merge 1 commit into

google:mastergoogle/google-java-format:masterfrom

cristatus:eclipse-plugincristatus/google-java-format:eclipse-pluginCopy head branch name to clipboard