Nicolas Vollmar dd6924465b Use function instead of scala partial function for java api #26970 (#26972) ... * Use function instead of scala partial function for java api #26970 * Remove deprecated function #26970		2019-05-24 08:13:22 +02:00
..
src	Use function instead of scala partial function for java api #26970 (#26972)	2019-05-24 08:13:22 +02:00