| <!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=163508">bug | |
| 163508</a>. IDTranslator is missing for ServletMapping in | |
| WebAppTranslator.java</p> | |
| </body> | |
| </head> |