Rename TinyDB to TinyDB.java