import java.time.LocalDate;
import java.time.Month;
import java.time.format.DateTimeFormatter;
import java.time.format.TextStyle;
import java.util.Locale;

public class Main {
	public static void main(String[] args) {
		LocalDate date = LocalDate.of(2013, Month.JULY, 1);
		System.out.println(date);

		// ############ Day of week ############
		System.out.println(date.getDayOfWeek().getDisplayName(TextStyle.FULL, Locale.ENGLISH));
		// Alternatively,
		DateTimeFormatter dtf = DateTimeFormatter.ofPattern("EEEE", Locale.ENGLISH);
		System.out.println(date.format(dtf));
	}
}