Windows File Manager search page listing the demo programs with .JAVA extension