Java language specification. Based on Java SE 8