Stuck on an issue?
Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.
And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.
Cannot start Toolbox with Eclipse Oomph: Missing Constraint: Require-Bundle: org.eclipse.ui.themes; bundle-version="1.2.200"
See original GitHub issueI followed the excellent instructions here:
https://github.com/tlaplus/tlaplus/tree/5927c2fe8/general/ide/README.md
When I tried to launch TLA+ Toolbox from Eclipse I get an error:
Missing Constraint: Require-Bundle: org.eclipse.ui.themes; bundle-version="1.2.200"
See this video: https://www.youtube.com/watch?v=CB-EIpms96o
I can fix the problem by adding org.eclipse.ui.themes to the list of plugins. Perhaps the dependencies are incomplete on master in org.lamport.tla.toolbox.feature.standalone/feature.xml?
Issue Analytics
- State:
- Created 4 years ago
- Comments:7 (7 by maintainers)
Top Results From Across the Web
Missing Constraint: Require-Bundle: org.eclipse.rap.ui ...
We wrote a small demo application using RAP. It works quite well on two machines but fails to start in eclipse on another...
Read more >Newcomers » [SOLVED]error while opening eclipse Luna
Hello, I work with Eclipse Luna. When I try to open Eclipse I have the following error. It is chinese for me. Could...
Read more >Why does plugin validation complain about missing constraint ...
When I run it, the test instance comes up, but the plugin I've written doesn't ... Missing Constraint: Require-Bundle: org.eclipse.jdt.core; ...
Read more >Newcomers » I am facing trouble in opening Eclipse
ENTRY org.eclipse.equinox.simpleconfigurator 4 0 2020-09-17 12:05: ... Reason: Missing Constraint: Bundle-RequiredExecutionEnvironment: ...
Read more >Require-Bundle" errors for birt packages while starting RCP app
However, the application failed to launch with "Missing Constraint: Require-Bundle" errors complaining about org.eclipse.birt packages.
Read more >
Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free
Top Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
I get too mollified by that nice green check mark GH provides on commits… :- / Will suss.
@ajdavis Feel free to reach out to me if you need help with the code base.