Package org.jenkins.ui.symbol