Fix deprecated Integer and Float constructors

[nuthub]

• replace usages of new Integer(String) by Integer.parseInt(String)
• replace usages of new Float(0.0f) by Float.valueOf(0.0f)

[nuthub]

e.g.

• /carisma.check.sequencediagramcrypto/src/carisma/check/sequencediagramcrypto/preferencepage/AccessPreferences.java
• /carisma.ui.eclipse/src/carisma/ui/eclipse/editors/AdfEditorCheckDetailsPage.java

[nuthub]

no more occurrences found.