Searched refs:optimizationsLabel (Results 1 – 1 of 1) sorted by relevance
94 private final JLabel optimizationsLabel = new JLabel(msg("optimizations")); field in ProGuardGUI440 …optimizationOptionsPanel.add(tip(optimizationsLabel, "optimizationsTip"), … in ProGuardGUI()