More or less usefull extensions to java.util.stream API