platform init/term separated from dispatcher; use of servlet annotations
javadoc update