release of web console 4.2.18?

[Stefan Seifert]

i'm planning to do a release of web console 4.2.18 soon - if no one objects.
there is one unresolved issue [1], but it's rather cosmetic so i think we can 
move it to the next release.

stefan

[1] https://issues.apache.org/jira/browse/FELIX-5277