equal
deleted
inserted
replaced
1855 String option = "-D" + name + "=" + value; |
1855 String option = "-D" + name + "=" + value; |
1856 try { |
1856 try { |
1857 checkPermission(perms, |
1857 checkPermission(perms, |
1858 new ExecOptionPermission(option)); |
1858 new ExecOptionPermission(option)); |
1859 } catch (AccessControlException e) { |
1859 } catch (AccessControlException e) { |
1860 if (value.equals("")) { |
1860 if (value.isEmpty()) { |
1861 checkPermission(perms, |
1861 checkPermission(perms, |
1862 new ExecOptionPermission("-D" + name)); |
1862 new ExecOptionPermission("-D" + name)); |
1863 } else { |
1863 } else { |
1864 throw e; |
1864 throw e; |
1865 } |
1865 } |
2099 |
2099 |
2100 /** |
2100 /** |
2101 * Initialize method for activation exec policy. |
2101 * Initialize method for activation exec policy. |
2102 */ |
2102 */ |
2103 if (!execPolicyClassName.equals("none")) { |
2103 if (!execPolicyClassName.equals("none")) { |
2104 if (execPolicyClassName.equals("") || |
2104 if (execPolicyClassName.isEmpty() || |
2105 execPolicyClassName.equals("default")) |
2105 execPolicyClassName.equals("default")) |
2106 { |
2106 { |
2107 execPolicyClassName = DefaultExecPolicy.class.getName(); |
2107 execPolicyClassName = DefaultExecPolicy.class.getName(); |
2108 } |
2108 } |
2109 |
2109 |