|
| Re: TPTP 4.2 and JDK 1.6 [message #80577 is a reply to message #80562] |
Thu, 10 August 2006 19:05   |
Eclipse User |
|
|
|
Originally posted by: nmehrega.ca.ibm.com
This is a multipart message in MIME format.
--=_alternative 0068F661852571C6_=
Content-Type: text/plain; charset="US-ASCII"
No TPTP 4.2 uses a JVMPI agent for profiling, which isn't supported in JDK
1.6. You'll need to downgrade to JDK 1.5 or 1.4.
Navid Mehregani
--=_alternative 0068F661852571C6_=
Content-Type: text/html; charset="US-ASCII"
<br><font size=2 face="sans-serif">No TPTP 4.2 uses a JVMPI agent for profiling,
which isn't supported in JDK 1.6. You'll need to downgrade to JDK
1.5 or 1.4.</font>
<br><font size=2 face="sans-serif"><br>
Navid Mehregani</font>
--=_alternative 0068F661852571C6_=--
|
|
|
|
| Re: TPTP 4.2 and JDK 1.6 [message #80652 is a reply to message #80637] |
Fri, 11 August 2006 20:52 |
| Eclipse User |
|
|
|
Originally posted by: nmehrega.ca.ibm.com
This is a multipart message in MIME format.
--=_alternative 0072BDB7852571C7_=
Content-Type: text/plain; charset="US-ASCII"
No problem. Another thing you can do is download the JVMTI agent
available from our download page. The JVMTI agent should be compatible
with JDK 1.6. However, note that it's available as a technology preview,
which means it might not be as stable as agents included in the TPTP
driver.
Navid Mehregani
--=_alternative 0072BDB7852571C7_=
Content-Type: text/html; charset="US-ASCII"
<br><font size=2 face="sans-serif">No problem. Another thing you
can do is download the JVMTI agent available from our download page. The
JVMTI agent should be compatible with JDK 1.6. However, note that
it's available as a technology preview, which means it <b>might </b>not
be as stable as agents included in the TPTP driver.</font>
<br>
<br><font size=2 face="sans-serif">Navid Mehregani</font>
--=_alternative 0072BDB7852571C7_=--
|
|
|
|
Powered by
FUDForum. Page generated in 0.06223 seconds
] 
Search
Help
Register
Login
Home
