Fix javadoc directory for server builds again