| changeset 1017 | 8d24d37ceed8 |
| parent 2 | 90ce3da70b43 |
| child 1247 | b4c26443dee5 |
| 1015:98e761716380 | 1017:8d24d37ceed8 |
|---|---|
42 |
42 |
43 build.jdk.version = 1.7.0 |
43 build.jdk.version = 1.7.0 |
44 build.release = ${build.jdk.version}-opensource |
44 build.release = ${build.jdk.version}-opensource |
45 build.number = b00 |
45 build.number = b00 |
46 jconsole.version = ${build.release}-${user.name}-${build.number} |
46 jconsole.version = ${build.release}-${user.name}-${build.number} |
47 jconsole.args = -debug |