43 	permission java.util.PropertyPermission "java.vm.specification.name", "read";

    43 	permission java.util.PropertyPermission "java.vm.specification.name", "read";

    44 	permission java.util.PropertyPermission "java.vm.version", "read";

    44 	permission java.util.PropertyPermission "java.vm.version", "read";

    45 	permission java.util.PropertyPermission "java.vm.vendor", "read";

    45 	permission java.util.PropertyPermission "java.vm.vendor", "read";

    46 	permission java.util.PropertyPermission "java.vm.name", "read";

    46 	permission java.util.PropertyPermission "java.vm.name", "read";

    47 };

    47 };