equal
deleted
inserted
replaced
43 if (refStrPool != null && (strPool = refStrPool.get()) != null) |
43 if (refStrPool != null && (strPool = refStrPool.get()) != null) |
44 return strPool; |
44 return strPool; |
45 DataInputStream dis = null; |
45 DataInputStream dis = null; |
46 try { |
46 try { |
47 dis = new DataInputStream(new InflaterInputStream( |
47 dis = new DataInputStream(new InflaterInputStream( |
48 AccessController.doPrivileged(new PrivilegedAction<InputStream>() |
48 AccessController.doPrivileged(new PrivilegedAction<>() |
49 { |
49 { |
50 public InputStream run() { |
50 public InputStream run() { |
51 return getClass().getResourceAsStream("uniName.dat"); |
51 return getClass().getResourceAsStream("uniName.dat"); |
52 } |
52 } |
53 }))); |
53 }))); |