Please check out the attached image.
You need to select "[b]ISO-8859-7[/b]" to be able to view it like the one in the attached image file.
I believe it is the correct one. And the java applet also shown correctly.

It is due to your browser was set to "ISO-8859-7" when you did the translation.
So characters are stored as "ISO-8859-7".
Add the following line to the html page when you unzip the download file.

[b]<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-7" />[/b]

add the above line after [b]<html>[/b]
And it will tell browser to switch to ISO-8859-7 when it load the page.