private static void dumpElement(Element element) {
if (DIAGNOSTICS) {
System.out.println("In dumpElement.");
}
if (element != null) {
System.out.println(" symbol: " + element.getSymbol());
System.out.println(" atomic number: " + element.getAtomicNumber());
System.out.println(" valence: " + element.getValence());
System.out.println(" atomic weight: " + element.getAtomicWeight());
System.out.println(" period: " + element.getPeriod());
System.out.println(" group: " + element.getGroup());
}
System.out.println();
}
