Task #3472
JRE, change linked JRE with a smaller one
| Statut: | Closed | Début: | 19/10/2023 | |
|---|---|---|---|---|
| Priorité: | Normal | Echéance: | ||
| Assigné à: | - | % réalisé: | 100% |
|
| Catégorie: | Development | Temps passé: | - | |
| Version cible: | TXM 0.8.3 |
Description
The JRE is linked using the org.eclipse.justj....jre.full plugin. It contains sources, debug marks which makes it too big.
Solution¶
Replace this dependency with the org.eclipse.justj....jre.*full*.stripped (TXM startup fails with the org.eclipse.justj....jre.base.stripped one. The org.eclipse.ui.console plugins fails with a "java.lang.NoClassDefFoundError: java/lang/management/ManagementFactory" error message)
Historique
#1 Mis à jour par Matthieu Decorde il y a presque 2 ans
- Description mis à jour (diff)
- % réalisé changé de 0 à 80
#2 Mis à jour par Sebastien Jacquot il y a plus d'un an
- % réalisé changé de 80 à 100
#3 Mis à jour par Sebastien Jacquot il y a plus d'un an
- Statut changé de New à Closed