}
src_install () {
mv dist/lib/servlet.jar dist/lib/${PN}-${PV}.jar
java-pkg_dojar dist/lib/servlet.jar || die "Unable to install servlet.jar"
java-pkg_dojar dist/lib/${PN}-${PV}.jar || die "Unable to install"
if use doc ; then
java-pkg_dohtml -r dist/docs/*