Community
Participate
Working Groups
This bug has been opened to track changes made to the TPTP plugins and build environment, in order to raise the required Java version from Java 1.4 to Java 5.
Created attachment 167197 [details] Plugin Patch 1 - Monitoring project
Created attachment 167198 [details] Plugin Patch 2 - Platform project
Created attachment 167199 [details] Plugin Patch 3 - Test project
Created attachment 167200 [details] Plugin Patch 4 - Trace project
(In reply to comment #3) > Created an attachment (id=167199) [details] > Plugin Patch 3 - Test project Reviewed and approved for the Test Project. Thanks Jonathan. Note, the org.eclipse.tptp.test.report.birt.ui plug-in is an empty plug-in.
(In reply to comment #5) > (In reply to comment #3) > > Created an attachment (id=167199) [details] [details] > > Plugin Patch 3 - Test project > > Reviewed and approved for the Test Project. Thanks Jonathan. > > Note, the org.eclipse.tptp.test.report.birt.ui plug-in is an empty plug-in. Sounds good, thanks Paul!
Patches checked into HEAD.
Resolving
Verified the resulting build is good.