Use default JRE
index.jsp: Security select for history, add labels

Also suppress warnings for unchecked