jbosstools/jbosstools-vpe — pull request #249 by kmarmaliykov (2014-06-20 15:28:40+00:00)
Title: JBIDE-17654 Various issues with source/editor navigation on linux

fixed