I incorporated sdedic's comment and pushed again. (After having to rebase and force-push to fix the directory structure merge conflict, it seems I have to force push again to get the pull request updated. Sorry--I hope it doesn't make the PR history too confusing.)
[ Full content available at: https://github.com/apache/incubator-netbeans/pull/598 ] This message was relayed via gitbox.apache.org for [email protected]
