fix strange paste
Release of com.dexels.navajo.jsp.server version 1.1.12
Development stream of com.dexels.navajo.jsp.server version 1.1.13