PatternFilter filter = new PatternFilter();
FilteredTree tree = new FilteredTree(sash, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL, filter, true);
TreeViewer viewer = tree.getViewer();
//go on..
Java, Eclipse Plugin Development and best software development practices
git fetch origin pull/ID/head:BRANCHNAME
where ID is the pull request id and BRANCHNAME is the name of the new branch that you want to create. Once you have created the branch, then simply
git checkout BRANCHNAMEReference: https://stackoverflow.com/questions/27567846/how-can-i-check-out-a-github-pull-request-with-gitHttpURLConnection connection = (HttpURLConnection) url.openConnection();// Give it a 4 seconds delay before deciding that it's a dead connectionconnection.setConnectTimeout(10000);connection.setRequestMethod("HEAD"); // Don't ask for contentconnection.setAllowUserInteraction(false);connection.connect();