Slight addition to the previous commit:
Parameter names to a method now appear as a java comment below the method declaration to possibly help debugging later on.