javamanager/javainstaller/installer/data/inst_plugins.cfg
changeset 57 59b3b4473dc8
parent 21 2a9601315dfc
child 78 71ad690e91f5