fix issue with pre-installed source jndi, cleanup html