class FileSystem {

	@Pure
	public static String[] split(File filename) {
		if (filename == null) {
			return new String[0];
		}
		return filename.getPath().split(Pattern.quote(File.separator));
	}

	private  FileSystem();

}