The Java Platform Manager showing a list of files for JDK 1.7.