mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 23:04:50 +02:00
Merge
This commit is contained in:
commit
8080835f23
1 changed files with 0 additions and 1 deletions
|
@ -43,7 +43,6 @@ import java.io.FileInputStream;
|
|||
|
||||
import java.security.AccessController;
|
||||
import java.security.PrivilegedAction;
|
||||
import sun.security.action.GetPropertyAction;
|
||||
import java.util.Properties;
|
||||
|
||||
class GetORBPropertiesFileAction implements PrivilegedAction {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue