[jbosstools-issues] [JBoss JIRA] (JBIDE-16953) when skipRevisionCheck=false, publish.sh thinks an empty GIT_REVISION file means no changes since last build