private static void writeUsedDBDs(DataOutputStream stream) throws IOException
private static void writeUsedDBDs(File dbFile, DataOutputStream stream) throws IOException
private static void writeUsedDBDs(DataOutputStream stream) throws IOException{	 // write used DBDs	 stream.writeBytes(DBResolver.DBD_START);	 Enumeration edbd = DataProvider.getInstance().getDBDs().elements();	 while (edbd.hasMoreElements())	 {	 		String file = ((File)edbd.nextElement()).getAbsolutePath();	 		file = file.replace('\\', '/');			stream.writeBytes(DBResolver.DBD_ENTRY+file+"\")\n");	 }	 stream.writeBytes(DBResolver.DBD_END);	 stream.writeBytes("\n");}