// Path: src/io/andrewohara/tinkertime/models/ConfigData.java
// @DatabaseTable(tableName = "config")
// public class ConfigData extends BaseDaoEnabled<ConfigData, Integer> {
// 
// 	public static final int NUM_CONCURRENT_DOWNLOADS = 4;
// 
// 	/////////////
// 	// Columns //
// 	/////////////
// 
// 	ConfigData() { /* Used by ormlite */ }
// 
// 	public ConfigData(Dao<ConfigData, Integer> dao) throws SQLException{
// 		setDao(dao);
// 		create();
// 	}
// 
// 	@DatabaseField(id=true)
// 	private int id;
// 
// 	@DatabaseField(canBeNull = false)
// 	private boolean checkForAppUpdatesOnStartup = true, checkForModUpdatesOnStartup = true;
// 
// 	@DatabaseField(foreign = true, foreignAutoRefresh=true)
// 	private Installation selectedInstallation;
// 
// 	@DatabaseField
// 	private String launchArguments;
// 
// 	/////////////
// 	// Setters //
// 	/////////////
// 
// 	public void setLaunchArguments(String args) throws SQLException{
// 		this.launchArguments = args;
// 		update();
// 	}
// 
// 	public void setCheckForAppUpdatesOnStartup(boolean check) throws SQLException{
// 		this.checkForAppUpdatesOnStartup = check;
// 		update();
// 	}
// 
// 	public void setCheckForModUpdatesOnStartup(boolean check) throws SQLException{
// 		this.checkForModUpdatesOnStartup = check;
// 		update();
// 	}
// 
// 	public void setSelectedInstallation(Installation newInstallation) throws SQLException{
// 		this.selectedInstallation = newInstallation;
// 		update();
// 	}
// 
// 	/////////////
// 	// Getters //
// 	/////////////
// 
// 	public boolean isCheckForAppUpdatesOnStartup(){
// 		return checkForAppUpdatesOnStartup;
// 	}
// 
// 	public boolean isCheckForModUpdatesOnStartup(){
// 		return checkForModUpdatesOnStartup;
// 	}
// 
// 	public Installation getSelectedInstallation() {
// 		return selectedInstallation;
// 	}
// 
// 	public String getLaunchArguments(){
// 		return launchArguments;
// 	}
// 
// }


import io.andrewohara.tinkertime.models.ConfigData;
import java.util.Arrays;
import java.util.List;
package io.andrewohara.tinkertime.io.kspLauncher;



public class WindowsExecStrategy extends GameExecStrategy {

	@Override
// Path: src/io/andrewohara/tinkertime/models/ConfigData.java
// @DatabaseTable(tableName = "config")
// public class ConfigData extends BaseDaoEnabled<ConfigData, Integer> {
// 
// 	public static final int NUM_CONCURRENT_DOWNLOADS = 4;
// 
// 	/////////////
// 	// Columns //
// 	/////////////
// 
// 	ConfigData() { /* Used by ormlite */ }
// 
// 	public ConfigData(Dao<ConfigData, Integer> dao) throws SQLException{
// 		setDao(dao);
// 		create();
// 	}
// 
// 	@DatabaseField(id=true)
// 	private int id;
// 
// 	@DatabaseField(canBeNull = false)
// 	private boolean checkForAppUpdatesOnStartup = true, checkForModUpdatesOnStartup = true;
// 
// 	@DatabaseField(foreign = true, foreignAutoRefresh=true)
// 	private Installation selectedInstallation;
// 
// 	@DatabaseField
// 	private String launchArguments;
// 
// 	/////////////
// 	// Setters //
// 	/////////////
// 
// 	public void setLaunchArguments(String args) throws SQLException{
// 		this.launchArguments = args;
// 		update();
// 	}
// 
// 	public void setCheckForAppUpdatesOnStartup(boolean check) throws SQLException{
// 		this.checkForAppUpdatesOnStartup = check;
// 		update();
// 	}
// 
// 	public void setCheckForModUpdatesOnStartup(boolean check) throws SQLException{
// 		this.checkForModUpdatesOnStartup = check;
// 		update();
// 	}
// 
// 	public void setSelectedInstallation(Installation newInstallation) throws SQLException{
// 		this.selectedInstallation = newInstallation;
// 		update();
// 	}
// 
// 	/////////////
// 	// Getters //
// 	/////////////
// 
// 	public boolean isCheckForAppUpdatesOnStartup(){
// 		return checkForAppUpdatesOnStartup;
// 	}
// 
// 	public boolean isCheckForModUpdatesOnStartup(){
// 		return checkForModUpdatesOnStartup;
// 	}
// 
// 	public Installation getSelectedInstallation() {
// 		return selectedInstallation;
// 	}
// 
// 	public String getLaunchArguments(){
// 		return launchArguments;
// 	}
// 
// }


// Path: src/io/andrewohara/tinkertime/io/kspLauncher/WindowsExecStrategy.java
import io.andrewohara.tinkertime.models.ConfigData;
import java.util.Arrays;
import java.util.List;

package io.andrewohara.tinkertime.io.kspLauncher;



public class WindowsExecStrategy extends GameExecStrategy {

	@Override
	protected List<String> getCommands(ConfigData config) {