API tools faq
paste
Advertisement
IARI

Ultimate Error Log

IARI
Sep 25th, 2015
154
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 114.61 KB | None | 0 0
raw download clone embed print report
  1. !SESSION 2015-09-25 22:29:01.634 -----------------------------------------------
  2. eclipse.buildId=unknown
  3. java.version=1.7.0_80
  4. java.vendor=Oracle Corporation
  5. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  6. Framework arguments: -product UltimateCore.Debug
  7. Command-line arguments: -product UltimateCore.Debug -data /home/iari/ultimate-pa/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/ultimate-pa/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  8.  
  9. !ENTRY org.eclipse.ui 4 0 2015-09-25 22:29:03.045
  10. !MESSAGE FrameworkEvent ERROR
  11. !STACK 0
  12. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.ui [2]
  13. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  14. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  15. org.eclipse.ui.workbench [67]
  16. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  17. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  18. org.eclipse.e4.core.commands [100]
  19. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  20. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  21. org.eclipse.e4.core.contexts [50]
  22. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  23. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  24. org.eclipse.e4.core.di [111]
  25. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  26.  
  27. at org.eclipse.osgi.container.Module.start(Module.java:434)
  28. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  29. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  30. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  31. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  32. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  33. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  34. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  35.  
  36. !ENTRY org.eclipse.e4.ui.workbench.addons.swt 4 0 2015-09-25 22:29:03.046
  37. !MESSAGE FrameworkEvent ERROR
  38. !STACK 0
  39. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.workbench.addons.swt [3]
  40. Unresolved requirement: Import-Package: org.eclipse.e4.ui.internal.workbench.swt
  41. -> Export-Package: org.eclipse.e4.ui.internal.workbench.swt; bundle-version="0.13.0.v20150504-0621"; bundle-symbolic-name="org.eclipse.e4.ui.workbench.swt"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.workbench.addons.swt,org.eclipse.e4.ui.workbench.renderers.swt,org.eclipse.ui.workbench"
  42. org.eclipse.e4.ui.workbench.swt [54]
  43. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.10.0"
  44. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  45. org.eclipse.e4.ui.workbench [23]
  46. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  47. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  48. org.eclipse.e4.ui.model.workbench [29]
  49. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  50. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  51. org.eclipse.e4.core.services [18]
  52. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  53. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  54. org.eclipse.e4.core.di [111]
  55. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  56.  
  57. at org.eclipse.osgi.container.Module.start(Module.java:434)
  58. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  59. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  60. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  61. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  62. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  63. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  64. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  65.  
  66. !ENTRY org.eclipse.e4.ui.services 4 0 2015-09-25 22:29:03.259
  67. !MESSAGE FrameworkEvent ERROR
  68. !STACK 0
  69. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.services [12]
  70. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  71. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  72. org.eclipse.e4.core.services [18]
  73. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  74. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  75. org.eclipse.e4.core.di [111]
  76. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  77.  
  78. at org.eclipse.osgi.container.Module.start(Module.java:434)
  79. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  80. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  81. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  82. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  83. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  84. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  85. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  86.  
  87. !ENTRY org.eclipse.e4.core.services 4 0 2015-09-25 22:29:03.262
  88. !MESSAGE FrameworkEvent ERROR
  89. !STACK 0
  90. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.services [18]
  91. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  92. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  93. org.eclipse.e4.core.di [111]
  94. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  95.  
  96. at org.eclipse.osgi.container.Module.start(Module.java:434)
  97. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  98. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  99. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  100. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  101. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  102. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  103. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  104.  
  105. !ENTRY org.eclipse.e4.ui.workbench 4 0 2015-09-25 22:29:03.264
  106. !MESSAGE FrameworkEvent ERROR
  107. !STACK 0
  108. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.workbench [23]
  109. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  110. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  111. org.eclipse.e4.ui.model.workbench [29]
  112. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  113. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  114. org.eclipse.e4.core.services [18]
  115. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  116. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  117. org.eclipse.e4.core.di [111]
  118. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  119.  
  120. at org.eclipse.osgi.container.Module.start(Module.java:434)
  121. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  122. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  123. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  124. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  125. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  126. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  127. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  128.  
  129. !ENTRY org.eclipse.e4.ui.model.workbench 4 0 2015-09-25 22:29:03.311
  130. !MESSAGE FrameworkEvent ERROR
  131. !STACK 0
  132. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.model.workbench [29]
  133. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  134. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  135. org.eclipse.e4.core.services [18]
  136. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  137. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  138. org.eclipse.e4.core.di [111]
  139. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  140.  
  141. at org.eclipse.osgi.container.Module.start(Module.java:434)
  142. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  143. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  144. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  145. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  146. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  147. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  148. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  149.  
  150. !ENTRY org.eclipse.e4.ui.di 4 0 2015-09-25 22:29:03.315
  151. !MESSAGE FrameworkEvent ERROR
  152. !STACK 0
  153. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.di [31]
  154. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di; bundle-version="0.9.0"
  155. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  156. org.eclipse.e4.core.di [111]
  157. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  158.  
  159. at org.eclipse.osgi.container.Module.start(Module.java:434)
  160. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  161. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  162. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  163. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  164. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  165. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  166. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  167.  
  168. !ENTRY org.eclipse.e4.ui.workbench.renderers.swt 4 0 2015-09-25 22:29:03.322
  169. !MESSAGE FrameworkEvent ERROR
  170. !STACK 0
  171. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.workbench.renderers.swt [43]
  172. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.9.0"
  173. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  174. org.eclipse.e4.ui.workbench [23]
  175. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  176. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  177. org.eclipse.e4.ui.model.workbench [29]
  178. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  179. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  180. org.eclipse.e4.core.services [18]
  181. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  182. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  183. org.eclipse.e4.core.di [111]
  184. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  185.  
  186. at org.eclipse.osgi.container.Module.start(Module.java:434)
  187. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  188. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  189. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  190. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  191. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  192. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  193. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  194.  
  195. !ENTRY org.eclipse.e4.core.contexts 4 0 2015-09-25 22:29:03.324
  196. !MESSAGE FrameworkEvent ERROR
  197. !STACK 0
  198. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.contexts [50]
  199. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  200. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  201. org.eclipse.e4.core.di [111]
  202. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  203.  
  204. at org.eclipse.osgi.container.Module.start(Module.java:434)
  205. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  206. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  207. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  208. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  209. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  210. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  211. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  212.  
  213. !ENTRY org.eclipse.e4.ui.workbench.swt 4 0 2015-09-25 22:29:03.327
  214. !MESSAGE FrameworkEvent ERROR
  215. !STACK 0
  216. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.workbench.swt [54]
  217. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.10.0"
  218. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  219. org.eclipse.e4.ui.workbench [23]
  220. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  221. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  222. org.eclipse.e4.ui.model.workbench [29]
  223. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  224. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  225. org.eclipse.e4.core.services [18]
  226. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  227. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  228. org.eclipse.e4.core.di [111]
  229. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  230.  
  231. at org.eclipse.osgi.container.Module.start(Module.java:434)
  232. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  233. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  234. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  235. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  236. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  237. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  238. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  239.  
  240. !ENTRY org.eclipse.ui.workbench 4 0 2015-09-25 22:29:03.330
  241. !MESSAGE FrameworkEvent ERROR
  242. !STACK 0
  243. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.ui.workbench [67]
  244. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  245. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  246. org.eclipse.e4.core.commands [100]
  247. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  248. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  249. org.eclipse.e4.core.contexts [50]
  250. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  251. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  252. org.eclipse.e4.core.di [111]
  253. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  254.  
  255. at org.eclipse.osgi.container.Module.start(Module.java:434)
  256. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  257. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  258. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  259. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  260. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  261. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  262. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  263.  
  264. !ENTRY org.eclipse.e4.core.di.extensions 4 0 2015-09-25 22:29:03.332
  265. !MESSAGE FrameworkEvent ERROR
  266. !STACK 0
  267. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.di.extensions [72]
  268. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di; bundle-version="0.9.0"
  269. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  270. org.eclipse.e4.core.di [111]
  271. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  272.  
  273. at org.eclipse.osgi.container.Module.start(Module.java:434)
  274. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  275. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  276. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  277. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  278. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  279. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  280. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  281.  
  282. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 4 0 2015-09-25 22:29:03.336
  283. !MESSAGE FrameworkEvent ERROR
  284. !STACK 0
  285. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [87]
  286. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.gui
  287. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui; bundle-version="0.0.1"; singleton:="true"
  288. de.uni_freiburg.informatik.ultimate.gui [9]
  289. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  290. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  291. org.eclipse.ui [2]
  292. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  293. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  294. org.eclipse.ui.workbench [67]
  295. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  296. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  297. org.eclipse.e4.core.commands [100]
  298. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  299. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  300. org.eclipse.e4.core.contexts [50]
  301. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  302. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  303. org.eclipse.e4.core.di [111]
  304. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  305.  
  306. at org.eclipse.osgi.container.Module.start(Module.java:434)
  307. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  308. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  309. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  310. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  311. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  312. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  313. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  314.  
  315. !ENTRY org.eclipse.e4.core.commands 4 0 2015-09-25 22:29:03.338
  316. !MESSAGE FrameworkEvent ERROR
  317. !STACK 0
  318. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.commands [100]
  319. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  320. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  321. org.eclipse.e4.core.contexts [50]
  322. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  323. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  324. org.eclipse.e4.core.di [111]
  325. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  326.  
  327. at org.eclipse.osgi.container.Module.start(Module.java:434)
  328. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  329. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  330. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  331. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  332. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  333. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  334. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  335.  
  336. !ENTRY org.eclipse.e4.core.di 4 0 2015-09-25 22:29:03.342
  337. !MESSAGE FrameworkEvent ERROR
  338. !STACK 0
  339. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.di [111]
  340. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  341.  
  342. at org.eclipse.osgi.container.Module.start(Module.java:434)
  343. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  344. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  345. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  346. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  347. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  348. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  349. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  350.  
  351. !ENTRY org.eclipse.e4.ui.bindings 4 0 2015-09-25 22:29:03.345
  352. !MESSAGE FrameworkEvent ERROR
  353. !STACK 0
  354. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.bindings [119]
  355. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  356. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  357. org.eclipse.e4.core.commands [100]
  358. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  359. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  360. org.eclipse.e4.core.contexts [50]
  361. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  362. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  363. org.eclipse.e4.core.di [111]
  364. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  365.  
  366. at org.eclipse.osgi.container.Module.start(Module.java:434)
  367. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  368. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  369. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  370. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  371. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  372. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  373. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  374.  
  375. !ENTRY GUIGeneratedPreferencePages 4 0 2015-09-25 22:29:03.348
  376. !MESSAGE FrameworkEvent ERROR
  377. !STACK 0
  378. org.osgi.framework.BundleException: Could not resolve module: GUIGeneratedPreferencePages [94]
  379. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  380. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  381. org.eclipse.ui [2]
  382. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  383. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  384. org.eclipse.ui.workbench [67]
  385. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  386. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  387. org.eclipse.e4.core.commands [100]
  388. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  389. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  390. org.eclipse.e4.core.contexts [50]
  391. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  392. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  393. org.eclipse.e4.core.di [111]
  394. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  395.  
  396. at org.eclipse.osgi.container.Module.start(Module.java:434)
  397. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  398. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1562)
  399. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  400. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  401. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  402. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  403. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  404.  
  405. !ENTRY org.eclipse.osgi 4 0 2015-09-25 22:29:03.350
  406. !MESSAGE Bundle initial@reference:file:../../ultimate-pa/ultimate/trunk/source/GUIGeneratedPreferencePages/ was not resolved.
  407.  
  408. !ENTRY org.eclipse.e4.ui.di 2 0 2015-09-25 22:29:03.485
  409. !MESSAGE Could not resolve module: org.eclipse.e4.ui.di [31]
  410. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di; bundle-version="0.9.0"
  411. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  412. org.eclipse.e4.core.di [111]
  413. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  414.  
  415.  
  416. !ENTRY org.eclipse.e4.core.services 2 0 2015-09-25 22:29:03.486
  417. !MESSAGE Could not resolve module: org.eclipse.e4.core.services [18]
  418. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  419. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  420. org.eclipse.e4.core.di [111]
  421. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  422.  
  423.  
  424. !ENTRY org.eclipse.e4.core.commands 2 0 2015-09-25 22:29:03.487
  425. !MESSAGE Could not resolve module: org.eclipse.e4.core.commands [100]
  426. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  427. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  428. org.eclipse.e4.core.contexts [50]
  429. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  430. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  431. org.eclipse.e4.core.di [111]
  432. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  433.  
  434.  
  435. !ENTRY org.eclipse.e4.ui.workbench.renderers.swt 2 0 2015-09-25 22:29:03.488
  436. !MESSAGE Could not resolve module: org.eclipse.e4.ui.workbench.renderers.swt [43]
  437. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.9.0"
  438. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  439. org.eclipse.e4.ui.workbench [23]
  440. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  441. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  442. org.eclipse.e4.ui.model.workbench [29]
  443. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  444. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  445. org.eclipse.e4.core.services [18]
  446. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  447. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  448. org.eclipse.e4.core.di [111]
  449. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  450.  
  451.  
  452. !ENTRY org.eclipse.e4.ui.workbench 2 0 2015-09-25 22:29:03.489
  453. !MESSAGE Could not resolve module: org.eclipse.e4.ui.workbench [23]
  454. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  455. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  456. org.eclipse.e4.ui.model.workbench [29]
  457. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  458. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  459. org.eclipse.e4.core.services [18]
  460. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  461. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  462. org.eclipse.e4.core.di [111]
  463. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  464.  
  465.  
  466. !ENTRY GUIGeneratedPreferencePages 2 0 2015-09-25 22:29:03.490
  467. !MESSAGE Could not resolve module: GUIGeneratedPreferencePages [94]
  468. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  469. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  470. org.eclipse.ui [2]
  471. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  472. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  473. org.eclipse.ui.workbench [67]
  474. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  475. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  476. org.eclipse.e4.core.commands [100]
  477. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  478. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  479. org.eclipse.e4.core.contexts [50]
  480. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  481. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  482. org.eclipse.e4.core.di [111]
  483. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  484.  
  485.  
  486. !ENTRY org.eclipse.e4.core.contexts 2 0 2015-09-25 22:29:03.491
  487. !MESSAGE Could not resolve module: org.eclipse.e4.core.contexts [50]
  488. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  489. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  490. org.eclipse.e4.core.di [111]
  491. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  492.  
  493.  
  494. !ENTRY de.uni_freiburg.informatik.ultimate.gui 2 0 2015-09-25 22:29:03.492
  495. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.gui [9]
  496. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  497. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  498. org.eclipse.ui [2]
  499. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  500. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  501. org.eclipse.ui.workbench [67]
  502. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  503. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  504. org.eclipse.e4.core.commands [100]
  505. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  506. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  507. org.eclipse.e4.core.contexts [50]
  508. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  509. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  510. org.eclipse.e4.core.di [111]
  511. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  512.  
  513.  
  514. !ENTRY org.eclipse.e4.core.di.extensions 2 0 2015-09-25 22:29:03.493
  515. !MESSAGE Could not resolve module: org.eclipse.e4.core.di.extensions [72]
  516. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di; bundle-version="0.9.0"
  517. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  518. org.eclipse.e4.core.di [111]
  519. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  520.  
  521.  
  522. !ENTRY org.eclipse.e4.core.di 2 0 2015-09-25 22:29:03.493
  523. !MESSAGE Could not resolve module: org.eclipse.e4.core.di [111]
  524. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  525.  
  526.  
  527. !ENTRY org.eclipse.e4.ui.services 2 0 2015-09-25 22:29:03.494
  528. !MESSAGE Could not resolve module: org.eclipse.e4.ui.services [12]
  529. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  530. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  531. org.eclipse.e4.core.services [18]
  532. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  533. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  534. org.eclipse.e4.core.di [111]
  535. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  536.  
  537.  
  538. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 2 0 2015-09-25 22:29:03.495
  539. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [87]
  540. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.gui
  541. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui; bundle-version="0.0.1"; singleton:="true"
  542. de.uni_freiburg.informatik.ultimate.gui [9]
  543. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  544. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  545. org.eclipse.ui [2]
  546. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  547. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  548. org.eclipse.ui.workbench [67]
  549. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  550. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  551. org.eclipse.e4.core.commands [100]
  552. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  553. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  554. org.eclipse.e4.core.contexts [50]
  555. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  556. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  557. org.eclipse.e4.core.di [111]
  558. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  559.  
  560.  
  561. !ENTRY org.eclipse.e4.ui.workbench.swt 2 0 2015-09-25 22:29:03.496
  562. !MESSAGE Could not resolve module: org.eclipse.e4.ui.workbench.swt [54]
  563. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.10.0"
  564. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  565. org.eclipse.e4.ui.workbench [23]
  566. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  567. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  568. org.eclipse.e4.ui.model.workbench [29]
  569. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  570. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  571. org.eclipse.e4.core.services [18]
  572. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  573. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  574. org.eclipse.e4.core.di [111]
  575. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  576.  
  577.  
  578. !ENTRY GUILoggingWindow 2 0 2015-09-25 22:29:03.497
  579. !MESSAGE Could not resolve module: GUILoggingWindow [76]
  580. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench
  581. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  582. org.eclipse.ui.workbench [67]
  583. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  584. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  585. org.eclipse.e4.core.commands [100]
  586. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  587. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  588. org.eclipse.e4.core.contexts [50]
  589. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  590. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  591. org.eclipse.e4.core.di [111]
  592. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  593.  
  594.  
  595. !ENTRY org.eclipse.ui 2 0 2015-09-25 22:29:03.498
  596. !MESSAGE Could not resolve module: org.eclipse.ui [2]
  597. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  598. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  599. org.eclipse.ui.workbench [67]
  600. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  601. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  602. org.eclipse.e4.core.commands [100]
  603. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  604. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  605. org.eclipse.e4.core.contexts [50]
  606. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  607. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  608. org.eclipse.e4.core.di [111]
  609. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  610.  
  611.  
  612. !ENTRY org.eclipse.e4.ui.model.workbench 2 0 2015-09-25 22:29:03.499
  613. !MESSAGE Could not resolve module: org.eclipse.e4.ui.model.workbench [29]
  614. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  615. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  616. org.eclipse.e4.core.services [18]
  617. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  618. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  619. org.eclipse.e4.core.di [111]
  620. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  621.  
  622.  
  623. !ENTRY org.eclipse.e4.ui.workbench.addons.swt 2 0 2015-09-25 22:29:03.500
  624. !MESSAGE Could not resolve module: org.eclipse.e4.ui.workbench.addons.swt [3]
  625. Unresolved requirement: Import-Package: org.eclipse.e4.ui.internal.workbench.swt
  626. -> Export-Package: org.eclipse.e4.ui.internal.workbench.swt; bundle-version="0.13.0.v20150504-0621"; bundle-symbolic-name="org.eclipse.e4.ui.workbench.swt"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.workbench.addons.swt,org.eclipse.e4.ui.workbench.renderers.swt,org.eclipse.ui.workbench"
  627. org.eclipse.e4.ui.workbench.swt [54]
  628. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.10.0"
  629. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  630. org.eclipse.e4.ui.workbench [23]
  631. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  632. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  633. org.eclipse.e4.ui.model.workbench [29]
  634. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  635. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  636. org.eclipse.e4.core.services [18]
  637. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  638. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  639. org.eclipse.e4.core.di [111]
  640. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  641.  
  642.  
  643. !ENTRY org.eclipse.e4.ui.bindings 2 0 2015-09-25 22:29:03.500
  644. !MESSAGE Could not resolve module: org.eclipse.e4.ui.bindings [119]
  645. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  646. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  647. org.eclipse.e4.core.commands [100]
  648. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  649. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  650. org.eclipse.e4.core.contexts [50]
  651. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  652. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  653. org.eclipse.e4.core.di [111]
  654. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  655.  
  656.  
  657. !ENTRY org.eclipse.ui.workbench 2 0 2015-09-25 22:29:03.501
  658. !MESSAGE Could not resolve module: org.eclipse.ui.workbench [67]
  659. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  660. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  661. org.eclipse.e4.core.commands [100]
  662. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  663. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  664. org.eclipse.e4.core.contexts [50]
  665. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  666. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  667. org.eclipse.e4.core.di [111]
  668. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  669.  
  670.  
  671. !ENTRY org.eclipse.osgi 4 0 2015-09-25 22:29:03.502
  672. !MESSAGE Application error
  673. !STACK 1
  674. java.lang.NullPointerException: No controller present!
  675. at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.activateController(UltimateCore.java:105)
  676. at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.start(UltimateCore.java:250)
  677. at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
  678. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
  679. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
  680. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:380)
  681. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:235)
  682. at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  683. at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
  684. at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  685. at java.lang.reflect.Method.invoke(Method.java:606)
  686. at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:669)
  687. at org.eclipse.equinox.launcher.Main.basicRun(Main.java:608)
  688. at org.eclipse.equinox.launcher.Main.run(Main.java:1515)
  689. at org.eclipse.equinox.launcher.Main.main(Main.java:1488)
  690. !SESSION 2015-09-25 22:45:54.763 -----------------------------------------------
  691. eclipse.buildId=unknown
  692. java.version=1.7.0_80
  693. java.vendor=Oracle Corporation
  694. BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=de_DE
  695. Framework arguments: -product UltimateCore.Debug
  696. Command-line arguments: -product UltimateCore.Debug -data /home/iari/ultimate-pa/ultimate/trunk/source/../runtime-Debug-E4.product -dev file:/home/iari/ultimate-pa/ultimate/trunk/source/.metadata/.plugins/org.eclipse.pde.core/Debug-E4.product/dev.properties -os linux -ws gtk -arch x86_64 -consoleLog
  697.  
  698. !ENTRY org.eclipse.ui 4 0 2015-09-25 22:45:55.381
  699. !MESSAGE FrameworkEvent ERROR
  700. !STACK 0
  701. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.ui [2]
  702. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  703. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  704. org.eclipse.ui.workbench [67]
  705. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  706. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  707. org.eclipse.e4.core.commands [100]
  708. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  709. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  710. org.eclipse.e4.core.contexts [50]
  711. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  712. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  713. org.eclipse.e4.core.di [111]
  714. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  715.  
  716. at org.eclipse.osgi.container.Module.start(Module.java:434)
  717. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  718. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  719. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  720. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  721. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  722. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  723. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  724.  
  725. !ENTRY org.eclipse.e4.ui.workbench.addons.swt 4 0 2015-09-25 22:45:55.385
  726. !MESSAGE FrameworkEvent ERROR
  727. !STACK 0
  728. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.workbench.addons.swt [3]
  729. Unresolved requirement: Import-Package: org.eclipse.e4.ui.internal.workbench.swt
  730. -> Export-Package: org.eclipse.e4.ui.internal.workbench.swt; bundle-version="0.13.0.v20150504-0621"; bundle-symbolic-name="org.eclipse.e4.ui.workbench.swt"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.workbench.addons.swt,org.eclipse.e4.ui.workbench.renderers.swt,org.eclipse.ui.workbench"
  731. org.eclipse.e4.ui.workbench.swt [54]
  732. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.10.0"
  733. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  734. org.eclipse.e4.ui.workbench [23]
  735. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  736. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  737. org.eclipse.e4.ui.model.workbench [29]
  738. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  739. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  740. org.eclipse.e4.core.services [18]
  741. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  742. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  743. org.eclipse.e4.core.di [111]
  744. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  745.  
  746. at org.eclipse.osgi.container.Module.start(Module.java:434)
  747. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  748. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  749. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  750. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  751. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  752. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  753. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  754.  
  755. !ENTRY org.eclipse.e4.ui.services 4 0 2015-09-25 22:45:55.441
  756. !MESSAGE FrameworkEvent ERROR
  757. !STACK 0
  758. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.services [12]
  759. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  760. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  761. org.eclipse.e4.core.services [18]
  762. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  763. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  764. org.eclipse.e4.core.di [111]
  765. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  766.  
  767. at org.eclipse.osgi.container.Module.start(Module.java:434)
  768. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  769. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  770. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  771. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  772. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  773. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  774. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  775.  
  776. !ENTRY org.eclipse.e4.core.services 4 0 2015-09-25 22:45:55.444
  777. !MESSAGE FrameworkEvent ERROR
  778. !STACK 0
  779. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.services [18]
  780. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  781. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  782. org.eclipse.e4.core.di [111]
  783. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  784.  
  785. at org.eclipse.osgi.container.Module.start(Module.java:434)
  786. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  787. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  788. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  789. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  790. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  791. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  792. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  793.  
  794. !ENTRY org.eclipse.e4.ui.workbench 4 0 2015-09-25 22:45:55.448
  795. !MESSAGE FrameworkEvent ERROR
  796. !STACK 0
  797. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.workbench [23]
  798. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  799. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  800. org.eclipse.e4.ui.model.workbench [29]
  801. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  802. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  803. org.eclipse.e4.core.services [18]
  804. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  805. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  806. org.eclipse.e4.core.di [111]
  807. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  808.  
  809. at org.eclipse.osgi.container.Module.start(Module.java:434)
  810. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  811. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  812. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  813. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  814. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  815. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  816. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  817.  
  818. !ENTRY org.eclipse.e4.ui.model.workbench 4 0 2015-09-25 22:45:55.472
  819. !MESSAGE FrameworkEvent ERROR
  820. !STACK 0
  821. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.model.workbench [29]
  822. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  823. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  824. org.eclipse.e4.core.services [18]
  825. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  826. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  827. org.eclipse.e4.core.di [111]
  828. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  829.  
  830. at org.eclipse.osgi.container.Module.start(Module.java:434)
  831. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  832. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  833. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  834. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  835. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  836. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  837. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  838.  
  839. !ENTRY org.eclipse.e4.ui.di 4 0 2015-09-25 22:45:55.475
  840. !MESSAGE FrameworkEvent ERROR
  841. !STACK 0
  842. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.di [31]
  843. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di; bundle-version="0.9.0"
  844. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  845. org.eclipse.e4.core.di [111]
  846. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  847.  
  848. at org.eclipse.osgi.container.Module.start(Module.java:434)
  849. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  850. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  851. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  852. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  853. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  854. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  855. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  856.  
  857. !ENTRY org.eclipse.e4.ui.workbench.renderers.swt 4 0 2015-09-25 22:45:55.484
  858. !MESSAGE FrameworkEvent ERROR
  859. !STACK 0
  860. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.workbench.renderers.swt [43]
  861. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.9.0"
  862. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  863. org.eclipse.e4.ui.workbench [23]
  864. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  865. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  866. org.eclipse.e4.ui.model.workbench [29]
  867. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  868. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  869. org.eclipse.e4.core.services [18]
  870. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  871. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  872. org.eclipse.e4.core.di [111]
  873. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  874.  
  875. at org.eclipse.osgi.container.Module.start(Module.java:434)
  876. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  877. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  878. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  879. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  880. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  881. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  882. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  883.  
  884. !ENTRY org.eclipse.e4.core.contexts 4 0 2015-09-25 22:45:55.486
  885. !MESSAGE FrameworkEvent ERROR
  886. !STACK 0
  887. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.contexts [50]
  888. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  889. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  890. org.eclipse.e4.core.di [111]
  891. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  892.  
  893. at org.eclipse.osgi.container.Module.start(Module.java:434)
  894. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  895. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  896. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  897. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  898. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  899. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  900. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  901.  
  902. !ENTRY org.eclipse.e4.ui.workbench.swt 4 0 2015-09-25 22:45:55.492
  903. !MESSAGE FrameworkEvent ERROR
  904. !STACK 0
  905. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.workbench.swt [54]
  906. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.10.0"
  907. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  908. org.eclipse.e4.ui.workbench [23]
  909. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  910. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  911. org.eclipse.e4.ui.model.workbench [29]
  912. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  913. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  914. org.eclipse.e4.core.services [18]
  915. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  916. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  917. org.eclipse.e4.core.di [111]
  918. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  919.  
  920. at org.eclipse.osgi.container.Module.start(Module.java:434)
  921. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  922. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  923. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  924. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  925. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  926. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  927. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  928.  
  929. !ENTRY org.eclipse.ui.workbench 4 0 2015-09-25 22:45:55.495
  930. !MESSAGE FrameworkEvent ERROR
  931. !STACK 0
  932. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.ui.workbench [67]
  933. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  934. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  935. org.eclipse.e4.core.commands [100]
  936. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  937. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  938. org.eclipse.e4.core.contexts [50]
  939. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  940. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  941. org.eclipse.e4.core.di [111]
  942. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  943.  
  944. at org.eclipse.osgi.container.Module.start(Module.java:434)
  945. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  946. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  947. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  948. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  949. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  950. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  951. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  952.  
  953. !ENTRY org.eclipse.e4.core.di.extensions 4 0 2015-09-25 22:45:55.497
  954. !MESSAGE FrameworkEvent ERROR
  955. !STACK 0
  956. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.di.extensions [72]
  957. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di; bundle-version="0.9.0"
  958. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  959. org.eclipse.e4.core.di [111]
  960. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  961.  
  962. at org.eclipse.osgi.container.Module.start(Module.java:434)
  963. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  964. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  965. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  966. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  967. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  968. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  969. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  970.  
  971. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 4 0 2015-09-25 22:45:55.501
  972. !MESSAGE FrameworkEvent ERROR
  973. !STACK 0
  974. org.osgi.framework.BundleException: Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [87]
  975. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.gui
  976. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui; bundle-version="0.0.1"; singleton:="true"
  977. de.uni_freiburg.informatik.ultimate.gui [9]
  978. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  979. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  980. org.eclipse.ui [2]
  981. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  982. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  983. org.eclipse.ui.workbench [67]
  984. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  985. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  986. org.eclipse.e4.core.commands [100]
  987. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  988. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  989. org.eclipse.e4.core.contexts [50]
  990. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  991. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  992. org.eclipse.e4.core.di [111]
  993. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  994.  
  995. at org.eclipse.osgi.container.Module.start(Module.java:434)
  996. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  997. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  998. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  999. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  1000. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1001. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1002. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1003.  
  1004. !ENTRY org.eclipse.e4.core.commands 4 0 2015-09-25 22:45:55.504
  1005. !MESSAGE FrameworkEvent ERROR
  1006. !STACK 0
  1007. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.commands [100]
  1008. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1009. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1010. org.eclipse.e4.core.contexts [50]
  1011. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1012. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1013. org.eclipse.e4.core.di [111]
  1014. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1015.  
  1016. at org.eclipse.osgi.container.Module.start(Module.java:434)
  1017. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  1018. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  1019. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  1020. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  1021. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1022. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1023. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1024.  
  1025. !ENTRY org.eclipse.e4.core.di 4 0 2015-09-25 22:45:55.507
  1026. !MESSAGE FrameworkEvent ERROR
  1027. !STACK 0
  1028. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.core.di [111]
  1029. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1030.  
  1031. at org.eclipse.osgi.container.Module.start(Module.java:434)
  1032. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  1033. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  1034. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  1035. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  1036. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1037. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1038. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1039.  
  1040. !ENTRY org.eclipse.e4.ui.bindings 4 0 2015-09-25 22:45:55.511
  1041. !MESSAGE FrameworkEvent ERROR
  1042. !STACK 0
  1043. org.osgi.framework.BundleException: Could not resolve module: org.eclipse.e4.ui.bindings [119]
  1044. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1045. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1046. org.eclipse.e4.core.commands [100]
  1047. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1048. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1049. org.eclipse.e4.core.contexts [50]
  1050. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1051. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1052. org.eclipse.e4.core.di [111]
  1053. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1054.  
  1055. at org.eclipse.osgi.container.Module.start(Module.java:434)
  1056. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  1057. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1561)
  1058. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  1059. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  1060. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1061. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1062. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1063.  
  1064. !ENTRY GUIGeneratedPreferencePages 4 0 2015-09-25 22:45:55.514
  1065. !MESSAGE FrameworkEvent ERROR
  1066. !STACK 0
  1067. org.osgi.framework.BundleException: Could not resolve module: GUIGeneratedPreferencePages [94]
  1068. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  1069. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  1070. org.eclipse.ui [2]
  1071. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  1072. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  1073. org.eclipse.ui.workbench [67]
  1074. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1075. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1076. org.eclipse.e4.core.commands [100]
  1077. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1078. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1079. org.eclipse.e4.core.contexts [50]
  1080. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1081. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1082. org.eclipse.e4.core.di [111]
  1083. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1084.  
  1085. at org.eclipse.osgi.container.Module.start(Module.java:434)
  1086. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1582)
  1087. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.incStartLevel(ModuleContainer.java:1562)
  1088. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1533)
  1089. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1476)
  1090. at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.dispatchEvent(ModuleContainer.java:1)
  1091. at org.eclipse.osgi.framework.eventmgr.EventManager.dispatchEvent(EventManager.java:230)
  1092. at org.eclipse.osgi.framework.eventmgr.EventManager$EventThread.run(EventManager.java:340)
  1093.  
  1094. !ENTRY org.eclipse.osgi 4 0 2015-09-25 22:45:55.516
  1095. !MESSAGE Bundle initial@reference:file:../../ultimate-pa/ultimate/trunk/source/GUIGeneratedPreferencePages/ was not resolved.
  1096.  
  1097. !ENTRY de.uni_freiburg.informatik.ultimate.gui 2 0 2015-09-25 22:45:55.575
  1098. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.gui [9]
  1099. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  1100. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  1101. org.eclipse.ui [2]
  1102. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  1103. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  1104. org.eclipse.ui.workbench [67]
  1105. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1106. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1107. org.eclipse.e4.core.commands [100]
  1108. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1109. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1110. org.eclipse.e4.core.contexts [50]
  1111. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1112. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1113. org.eclipse.e4.core.di [111]
  1114. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1115.  
  1116.  
  1117. !ENTRY org.eclipse.e4.ui.model.workbench 2 0 2015-09-25 22:45:55.575
  1118. !MESSAGE Could not resolve module: org.eclipse.e4.ui.model.workbench [29]
  1119. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  1120. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  1121. org.eclipse.e4.core.services [18]
  1122. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1123. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1124. org.eclipse.e4.core.di [111]
  1125. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1126.  
  1127.  
  1128. !ENTRY org.eclipse.e4.core.di 2 0 2015-09-25 22:45:55.576
  1129. !MESSAGE Could not resolve module: org.eclipse.e4.core.di [111]
  1130. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1131.  
  1132.  
  1133. !ENTRY org.eclipse.e4.core.services 2 0 2015-09-25 22:45:55.576
  1134. !MESSAGE Could not resolve module: org.eclipse.e4.core.services [18]
  1135. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1136. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1137. org.eclipse.e4.core.di [111]
  1138. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1139.  
  1140.  
  1141. !ENTRY org.eclipse.e4.ui.workbench 2 0 2015-09-25 22:45:55.576
  1142. !MESSAGE Could not resolve module: org.eclipse.e4.ui.workbench [23]
  1143. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  1144. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  1145. org.eclipse.e4.ui.model.workbench [29]
  1146. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  1147. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  1148. org.eclipse.e4.core.services [18]
  1149. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1150. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1151. org.eclipse.e4.core.di [111]
  1152. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1153.  
  1154.  
  1155. !ENTRY org.eclipse.e4.ui.bindings 2 0 2015-09-25 22:45:55.577
  1156. !MESSAGE Could not resolve module: org.eclipse.e4.ui.bindings [119]
  1157. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1158. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1159. org.eclipse.e4.core.commands [100]
  1160. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1161. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1162. org.eclipse.e4.core.contexts [50]
  1163. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1164. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1165. org.eclipse.e4.core.di [111]
  1166. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1167.  
  1168.  
  1169. !ENTRY org.eclipse.e4.ui.di 2 0 2015-09-25 22:45:55.577
  1170. !MESSAGE Could not resolve module: org.eclipse.e4.ui.di [31]
  1171. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di; bundle-version="0.9.0"
  1172. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1173. org.eclipse.e4.core.di [111]
  1174. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1175.  
  1176.  
  1177. !ENTRY org.eclipse.e4.ui.services 2 0 2015-09-25 22:45:55.578
  1178. !MESSAGE Could not resolve module: org.eclipse.e4.ui.services [12]
  1179. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  1180. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  1181. org.eclipse.e4.core.services [18]
  1182. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1183. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1184. org.eclipse.e4.core.di [111]
  1185. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1186.  
  1187.  
  1188. !ENTRY org.eclipse.e4.core.contexts 2 0 2015-09-25 22:45:55.578
  1189. !MESSAGE Could not resolve module: org.eclipse.e4.core.contexts [50]
  1190. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1191. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1192. org.eclipse.e4.core.di [111]
  1193. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1194.  
  1195.  
  1196. !ENTRY org.eclipse.e4.ui.workbench.swt 2 0 2015-09-25 22:45:55.578
  1197. !MESSAGE Could not resolve module: org.eclipse.e4.ui.workbench.swt [54]
  1198. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.10.0"
  1199. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  1200. org.eclipse.e4.ui.workbench [23]
  1201. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  1202. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  1203. org.eclipse.e4.ui.model.workbench [29]
  1204. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  1205. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  1206. org.eclipse.e4.core.services [18]
  1207. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1208. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1209. org.eclipse.e4.core.di [111]
  1210. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1211.  
  1212.  
  1213. !ENTRY org.eclipse.e4.core.commands 2 0 2015-09-25 22:45:55.579
  1214. !MESSAGE Could not resolve module: org.eclipse.e4.core.commands [100]
  1215. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1216. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1217. org.eclipse.e4.core.contexts [50]
  1218. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1219. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1220. org.eclipse.e4.core.di [111]
  1221. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1222.  
  1223.  
  1224. !ENTRY org.eclipse.e4.ui.workbench.renderers.swt 2 0 2015-09-25 22:45:55.579
  1225. !MESSAGE Could not resolve module: org.eclipse.e4.ui.workbench.renderers.swt [43]
  1226. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.9.0"
  1227. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  1228. org.eclipse.e4.ui.workbench [23]
  1229. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  1230. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  1231. org.eclipse.e4.ui.model.workbench [29]
  1232. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  1233. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  1234. org.eclipse.e4.core.services [18]
  1235. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1236. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1237. org.eclipse.e4.core.di [111]
  1238. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1239.  
  1240.  
  1241. !ENTRY org.eclipse.e4.ui.workbench.addons.swt 2 0 2015-09-25 22:45:55.580
  1242. !MESSAGE Could not resolve module: org.eclipse.e4.ui.workbench.addons.swt [3]
  1243. Unresolved requirement: Import-Package: org.eclipse.e4.ui.internal.workbench.swt
  1244. -> Export-Package: org.eclipse.e4.ui.internal.workbench.swt; bundle-version="0.13.0.v20150504-0621"; bundle-symbolic-name="org.eclipse.e4.ui.workbench.swt"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.workbench.addons.swt,org.eclipse.e4.ui.workbench.renderers.swt,org.eclipse.ui.workbench"
  1245. org.eclipse.e4.ui.workbench.swt [54]
  1246. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.workbench; bundle-version="0.10.0"
  1247. -> Bundle-SymbolicName: org.eclipse.e4.ui.workbench; bundle-version="1.3.0.v20150531-1948"; singleton:="true"
  1248. org.eclipse.e4.ui.workbench [23]
  1249. Unresolved requirement: Require-Bundle: org.eclipse.e4.ui.model.workbench; bundle-version="1.0.0"
  1250. -> Bundle-SymbolicName: org.eclipse.e4.ui.model.workbench; bundle-version="1.1.100.v20150407-1430"; singleton:="true"
  1251. org.eclipse.e4.ui.model.workbench [29]
  1252. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.services; bundle-version="0.9.0"
  1253. -> Bundle-SymbolicName: org.eclipse.e4.core.services; bundle-version="2.0.0.v20150403-1912"; singleton:="true"
  1254. org.eclipse.e4.core.services [18]
  1255. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1256. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1257. org.eclipse.e4.core.di [111]
  1258. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1259.  
  1260.  
  1261. !ENTRY GUILoggingWindow 2 0 2015-09-25 22:45:55.580
  1262. !MESSAGE Could not resolve module: GUILoggingWindow [76]
  1263. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench
  1264. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  1265. org.eclipse.ui.workbench [67]
  1266. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1267. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1268. org.eclipse.e4.core.commands [100]
  1269. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1270. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1271. org.eclipse.e4.core.contexts [50]
  1272. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1273. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1274. org.eclipse.e4.core.di [111]
  1275. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1276.  
  1277.  
  1278. !ENTRY GUIGeneratedPreferencePages 2 0 2015-09-25 22:45:55.581
  1279. !MESSAGE Could not resolve module: GUIGeneratedPreferencePages [94]
  1280. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  1281. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  1282. org.eclipse.ui [2]
  1283. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  1284. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  1285. org.eclipse.ui.workbench [67]
  1286. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1287. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1288. org.eclipse.e4.core.commands [100]
  1289. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1290. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1291. org.eclipse.e4.core.contexts [50]
  1292. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1293. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1294. org.eclipse.e4.core.di [111]
  1295. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1296.  
  1297.  
  1298. !ENTRY org.eclipse.ui 2 0 2015-09-25 22:45:55.581
  1299. !MESSAGE Could not resolve module: org.eclipse.ui [2]
  1300. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  1301. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  1302. org.eclipse.ui.workbench [67]
  1303. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1304. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1305. org.eclipse.e4.core.commands [100]
  1306. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1307. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1308. org.eclipse.e4.core.contexts [50]
  1309. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1310. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1311. org.eclipse.e4.core.di [111]
  1312. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1313.  
  1314.  
  1315. !ENTRY org.eclipse.ui.workbench 2 0 2015-09-25 22:45:55.582
  1316. !MESSAGE Could not resolve module: org.eclipse.ui.workbench [67]
  1317. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1318. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1319. org.eclipse.e4.core.commands [100]
  1320. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1321. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1322. org.eclipse.e4.core.contexts [50]
  1323. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1324. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1325. org.eclipse.e4.core.di [111]
  1326. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1327.  
  1328.  
  1329. !ENTRY org.eclipse.e4.core.di.extensions 2 0 2015-09-25 22:45:55.582
  1330. !MESSAGE Could not resolve module: org.eclipse.e4.core.di.extensions [72]
  1331. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di; bundle-version="0.9.0"
  1332. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1333. org.eclipse.e4.core.di [111]
  1334. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1335.  
  1336.  
  1337. !ENTRY de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 2 0 2015-09-25 22:45:55.583
  1338. !MESSAGE Could not resolve module: de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization [87]
  1339. Unresolved requirement: Require-Bundle: de.uni_freiburg.informatik.ultimate.gui
  1340. -> Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.gui; bundle-version="0.0.1"; singleton:="true"
  1341. de.uni_freiburg.informatik.ultimate.gui [9]
  1342. Unresolved requirement: Require-Bundle: org.eclipse.ui; visibility:="reexport"
  1343. -> Bundle-SymbolicName: org.eclipse.ui; bundle-version="3.107.0.v20150507-1945"; singleton:="true"
  1344. org.eclipse.ui [2]
  1345. Unresolved requirement: Require-Bundle: org.eclipse.ui.workbench; bundle-version="[3.105.0,4.0.0)"; visibility:="reexport"
  1346. -> Bundle-SymbolicName: org.eclipse.ui.workbench; bundle-version="3.107.0.v20150510-1732"; singleton:="true"
  1347. org.eclipse.ui.workbench [67]
  1348. Unresolved requirement: Import-Package: org.eclipse.e4.core.commands
  1349. -> Export-Package: org.eclipse.e4.core.commands; bundle-version="0.11.0.v20150422-0725"; bundle-symbolic-name="org.eclipse.e4.core.commands"; version="0.0.0"; x-friends:="org.eclipse.e4.ui.bindings, org.eclipse.e4.ui.workbench, org.eclipse.e4.ui.workbench.renderers.swt, org.eclipse.ui.workbench, org.eclipse.e4.ui.workbench.swt, org.eclipse.e4.ui.progress, org.eclipse.e4.core.commands.tests"
  1350. org.eclipse.e4.core.commands [100]
  1351. Unresolved requirement: Import-Package: org.eclipse.e4.core.contexts
  1352. -> Export-Package: org.eclipse.e4.core.contexts; bundle-version="1.4.0.v20150421-2214"; bundle-symbolic-name="org.eclipse.e4.core.contexts"; version="0.0.0"
  1353. org.eclipse.e4.core.contexts [50]
  1354. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di
  1355. -> Bundle-SymbolicName: org.eclipse.e4.core.di; bundle-version="1.5.0.v20150421-2214"
  1356. org.eclipse.e4.core.di [111]
  1357. Unresolved requirement: Require-Bundle: org.eclipse.e4.core.di.annotations; bundle-version="[1.4.0,2.0.0)"; visibility:="reexport"
  1358.  
  1359.  
  1360. !ENTRY org.eclipse.osgi 4 0 2015-09-25 22:45:55.583
  1361. !MESSAGE Application error
  1362. !STACK 1
  1363. java.lang.NullPointerException: No controller present!
  1364. at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.activateController(UltimateCore.java:105)
  1365. at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.start(UltimateCore.java:250)
  1366. at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
  1367. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
  1368. at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
  1369. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:380)
  1370. at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:235)
  1371. at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
  1372. at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:57)
  1373. at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
  1374. at java.lang.reflect.Method.invoke(Method.java:606)
  1375. at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:669)
  1376. at org.eclipse.equinox.launcher.Main.basicRun(Main.java:608)
  1377. at org.eclipse.equinox.launcher.Main.run(Main.java:1515)
  1378. at org.eclipse.equinox.launcher.Main.main(Main.java:1488)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!