Visualizador de HTML básico do Java: correção do jumpToAnchor, e mudança da pagina inicial.
Editor de código Java: correção do bug de seleção.