// Display Java Properties // // Displays all available Java properties and their values in a table requires("1.38m"); keys = getList('java.properties'); title = "Java Properties"; t = "["+title+"]"; if (isOpen(title)) print(t, "\\Clear"); else run("New... ", "name="+t+" type=Table width=600 height=600"); print(t, "\\Headings: \tKey\tValue"); for (i=0; i