Community
Participate
Working Groups
Created attachment 80664 [details] Fixed version of file Build ID: I20070625-1500 Steps To Reproduce: The current implementation does not check if a project is closed before trying to obtain the JavaNature. This causes a CoreException. I will attach a patched version of the file.
Are you using TPTP 4.4.0?
No, I am using 4.4.1 tptp and the auto-gui HEAD version.
Removing from the 4.5 plan.
In TPTP 4.5, the AGR was moved from a Technology Preview component to an As-Is component. As-Is components are primarily provided for prior users but imply no support (for example, defects, news group, and mailing lists) or commitment to triage or resolve opened defects. For this defect to be considered, please re-open with an attached patch including code to resolve the symptom and test cases to test the fix.
In the patch I uploaded in bug #133099 this issue is resolved.
*** This bug has been marked as a duplicate of bug 133099 ***
This defect depends on 133099 and not a duplicate.
Closing by default since not closed by the originator in the 7+ months since being resolved. Please reopen if the issue is still present in the latest TPTP release or the resolution is not correct.