| <!doctype html public "-//w3c//dtd html 4.0 transitional//en"> | |
| <html> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> | |
| <title>Web Tools Platform Build Notes</title> | |
| </head> | |
| <body> | |
| <h1> | |
| Web Tools Platform Build Notes</h1> | |
| <h2>Patch</h2> | |
| <p> | |
| See <a href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=163391">bug 163391</a>: ResourceSetWorkbenchEditSynchronizer | |
| unloads resources prematurely in headless mode. | |
| </p> | |
| </body> | |
| </head> |