<commit_before>import java.io.*;
import java.util.Properties;

/**
 * Created by Eirik on 10/23/2015.
 */
public class PropertyValues {

    public static Database Input(){
        Properties prop = new Properties();
        InputStream input = null;
        Database db = null;
        try {

            input = new FileInputStream("config.properties");
            prop.load(input);
            String name = prop.getProperty("name");
            String url = prop.getProperty("url");
            String user = prop.getProperty("user");
            String password = prop.getProperty("password");
            db = new Database(name,url,user,password);




        } catch ( IOException ex) {
            String title = "File not found";
            String header = "";
            String body = "Did not find the configuration file. It should be called config.properties";
            Alerts alert = new Alerts(title,header,body);
        } finally {
            return db;
        }
    }

    public static void Output(Database db){
        Properties prop = new Properties();
        OutputStream out = null;

        try{
            out = new FileOutputStream("config.properties");
            prop.setProperty("name",db.getName());
            prop.setProperty("url",db.getUrl());<commit_msg>alert for file missing fix<commit_after>import java.io.*;
import java.util.Properties;

/**
 * Created by Eirik on 10/23/2015.
 */
public class PropertyValues {

    public static Database Input() {
        Properties prop = new Properties();
        InputStream input = null;
        Database db = null;
        try {

            input = new FileInputStream("config.properties");
            prop.load(input);
            String name = prop.getProperty("name");
            String url = prop.getProperty("url");
            String user = prop.getProperty("user");
            String password = prop.getProperty("password");
            db = new Database(name,url,user,password);




        } catch (IOException ex) {
            String title = "File not found";
            String header = "";
            String body = "Did not find the configuration file. It should be called config.properties";
            Alerts alert = new Alerts(title,header,body);
            alert.show();
        } finally {
            return db;
        }
    }

    public static void Output(Database db) {
        Properties prop = new Properties();
        OutputStream out = null;

        try{
            out = new FileOutputStream("config.properties");
            prop.setProperty("name",db.getName());
            prop.setProperty("url",db.getUrl());
{'fraction_non_alphanumeric': 0.1105223315669947, 'fraction_numerical': 0.006056018168054504, 'mean_word_length': 2.0240274599542336, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2956323', 'n_tokens_mistral': 653, 'n_tokens_neox': 628, 'n_words': 192}