private void writeKeyStoreEntry(PrintWriter out){
  out.print("keystore \"");
  out.print(keyStoreUrlString);
  out.print('"');
  if (keyStoreType != null && keyStoreType.length() > 0)   out.print(", \"" + keyStoreType + "\"");
  if (keyStoreProvider != null && keyStoreProvider.length() > 0)   out.print(", \"" + keyStoreProvider + "\"");
  out.println(";");
  out.println();
}

private void writeKeyStoreEntry ( PrintWriter out ) { out . print ( "keystore \"" ) ; out . print ( keyStoreUrlString ) ; out . print ( '"' ) ; if ( keyStoreType != null && keyStoreType . length ( ) > 0 ) out . print ( ", \"" + keyStoreType + "\"" ) ; if ( keyStoreProvider != null && keyStoreProvider . length ( ) > 0 ) out . print ( ", \"" + keyStoreProvider + "\"" ) ; out . println ( ";" ) ; out . println ( ) ; }
writes the ( unexpanded ) keystore entry
