Build submission for I20100513-0800 (bis)
diff --git a/bundles/org.eclipse.ui/buildnotes_workbench.html b/bundles/org.eclipse.ui/buildnotes_workbench.html
index 73594b9..9d503be 100644
--- a/bundles/org.eclipse.ui/buildnotes_workbench.html
+++ b/bundles/org.eclipse.ui/buildnotes_workbench.html
@@ -12,6 +12,12 @@
 <h1>Eclipse Platform Build Notes (3.5)<br>
 JFace and Workbench</h1>
 
+<p>Integration Build (May 12, 2010, 12:58 p.m.)</p>
+  <p>Problem reports updated</p>
+  <p>
+<a href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=312686">Bug 312686</a>. [CommonNavigator] double click on a tree item causes File to open in the editor (FIXED)<br>
+  </p>
+
 <p>Integration Build (May 12, 2010, 3:13 p.m.)</p>
   <p>Problem reports updated</p>
   <p>