Various utility Java source code