[#2259] allow extension fields in java 8 interfaces#2591

cdietrich wants to merge 1 commit intomaineclipse-xtext/xtext:mainfrom

cd_issue2259eclipse-xtext/xtext:cd_issue2259Copy head branch name to clipboard