[jbosstools-dev] tern.js license problem & PDT