// Path: src/java/krasa/formatter/exception/FileDoesNotExistsException.java
// public class FileDoesNotExistsException extends RuntimeException {
// 
// 	public FileDoesNotExistsException(File file) {
// 		super("Configured settings file does not exist, path=\"" + file.getPath() + "\"");
// 	}
// 
// 	public FileDoesNotExistsException(String message) {
// 		super(message);
// 	}
// }


import com.intellij.util.PathUtil;
import krasa.formatter.exception.FileDoesNotExistsException;
import org.jetbrains.annotations.NotNull;
import java.io.File;
package krasa.formatter.common;



/**
 * @author Vojtech Krasa
 */
public class ModifiableFile extends File {

	public ModifiableFile(String pathToConfigFileJava) {
		super(pathToConfigFileJava);
	}

	public boolean wasChanged(Monitor lastState) {
		checkIfExists();
		return this.lastModified() != lastState.getLastStateTime();
	}

	public void checkIfExists() throws FileDoesNotExistsException {
		if (!this.exists()) {
// Path: src/java/krasa/formatter/exception/FileDoesNotExistsException.java
// public class FileDoesNotExistsException extends RuntimeException {
// 
// 	public FileDoesNotExistsException(File file) {
// 		super("Configured settings file does not exist, path=\"" + file.getPath() + "\"");
// 	}
// 
// 	public FileDoesNotExistsException(String message) {
// 		super(message);
// 	}
// }


// Path: src/java/krasa/formatter/common/ModifiableFile.java
import com.intellij.util.PathUtil;
import krasa.formatter.exception.FileDoesNotExistsException;
import org.jetbrains.annotations.NotNull;
import java.io.File;

package krasa.formatter.common;



/**
 * @author Vojtech Krasa
 */
public class ModifiableFile extends File {

	public ModifiableFile(String pathToConfigFileJava) {
		super(pathToConfigFileJava);
	}

	public boolean wasChanged(Monitor lastState) {
		checkIfExists();
		return this.lastModified() != lastState.getLastStateTime();
	}

	public void checkIfExists() throws FileDoesNotExistsException {
		if (!this.exists()) {
			throw new FileDoesNotExistsException(this);