[jbosstools-commits] JBoss Tools SVN: r13134 - in workspace/snjeza/jdt.ui.patch: patch2 and 1 other directory.