clean-up changes, add some javadoc

Author: wadoon

key.core/src/main/java/de/uka/ilkd/key/java/Recoder2KeYConverter.java

@@ -1281,7 +1281,6 @@ private ProgramVariable getProgramVariableForFieldSpecification(
                 Type recoderType =
                     (getServiceConfiguration().getSourceInfo()).getType(recoderVarSpec);
                 final ClassType recContainingClassType = recoderVarSpec.getContainingClassType();
-
                 final ProgramElementName pen =
                     new ProgramElementName(makeAdmissibleName(recoderVarSpec.getName()),
                         makeAdmissibleName(recContainingClassType.getFullName()));

key.core/src/main/java/de/uka/ilkd/key/logic/ProgramElementName.java

@@ -70,7 +70,6 @@ public ProgramElementName(String name, NameCreationInfo creationInfo, Comment[]
 
     public ProgramElementName(String n, String q) {
         super(q + "::" + n);
-        // weigl: This check does not make sense
         assert !q.isEmpty() : "Tried to create qualified name with missing qualifier";
 
         this.qualifierString = q.intern();

key.core/src/main/java/de/uka/ilkd/key/proof/init/InitConfig.java

@@ -472,10 +472,12 @@ public void activateChoice(Choice choice) {
                     .add(choice));
     }
 
+    /// returns the user-given declarations used during loading
     public KeyAst.@Nullable Declarations getProblemHeader() {
         return header;
     }
 
+    /// sets the user-given declarations that are used during saving proofs
     public void setHeader(KeyAst.@Nullable Declarations header) {
         this.header = header;
     }

key.core/src/main/java/de/uka/ilkd/key/proof/init/KeYUserProblemFile.java

@@ -255,7 +255,7 @@ private Profile readProfileFromFile() {
     }
 
 
-    ///
+    /// returns the user-local definition given in the file.
     public KeyAst.@Nullable Declarations getProblemHeader() {
         return getParseContext().getProblemHeader();
     }