Web.xml editor in JDeveloper still buggy

Question

I had experience with JDeveloper 9.0.4, that the web.xml editor was buggy: specifically, when editing security constraints, it mangled up the contents, so I got to the practice to edit it only manually.
Now, after migrating to 10.1.3, I tried it again with new Servlet 2.4 format, which I am not familiar with, and it is buggy again: at least when editing dispatcher type at filter mappings: I have two filters, one is mapped to all REQUEST, FORWARD and INCLUDE, the other to none (this means it is mapped to REQUEST only). When I opened this web.xml in the editor and first clicked on the first mapping, checkboxes were ok, then I clicked to the other, and checkboxes stayed checked. It seems, that they don't uncheck, when you display another mapping which does not use them.
Now, I will again prefer to edit manually, because I just don't trust the editor :-(
Viliam

Answer 1

1. Create web.xml with this filter-mappings:
  <filter-mapping>
    <filter-name>ReadFilter</filter-name>
    <url-pattern>*.jsp</url-pattern>
    <dispatcher>REQUEST</dispatcher>
    <dispatcher>FORWARD</dispatcher>
    <dispatcher>INCLUDE</dispatcher>
  </filter-mapping>
  <filter-mapping>
    <filter-name>SessionExpiryFilter</filter-name>
    <url-pattern>*.jsp</url-pattern>
  </filter-mapping>2. right-click web.xml and select Properties
3. click Filter Mappings
4. click on ReadFilter, dispatcher type below is displayed correctly
5. click on SessionExpiryFilter, three checkboxes stay checked incorrectly
It's in Studio Edition Version 10.1.3.0.4 (SU2)
Viliam