24 |
import java.util.*; |
import java.util.*; |
25 |
import java.security.SecureRandom; |
import java.security.SecureRandom; |
26 |
import java.io.*; |
import java.io.*; |
27 |
|
import java.lang.String; |
28 |
|
|
29 |
/** A class which is able to generate globally unique cell names |
/** A class which is able to generate globally unique cell names |
30 |
* on request. |
* on request. |
56 |
|
|
57 |
namespace = ""; |
namespace = ""; |
58 |
|
|
59 |
for(int i=0; i<NAMESPACECHARS; i++) |
for(int i=0; i<NAMESPACECHARS; i++) { |
60 |
namespace = namespace + base64.charAt(sr.nextInt(64)); |
int x=sr.nextInt(64); |
61 |
|
if (x<0) x=-x; // step around a bug(?) in kaffe |
62 |
|
namespace = namespace + base64.charAt(x); |
63 |
|
} |
64 |
} |
} |
65 |
|
|
66 |
synchronized public String generateId() { |
synchronized public String generateId() { |